1st FME workshop on formal methods in software engineering (FormaliSE 2013) | IEEE Conference Publication | IEEE Xplore