3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015) | IEEE Conference Publication | IEEE Xplore