FM 2012: formal methods : 18th international symposium : Paris, France, August 27-31, 2012 : proceedings : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7436)
FM 2012: formal methods : 18th international symposium : Paris, France, August 27-31, 2012 : proceedings : Aug 2012, Paris, France.