FM 2012 [electronic resource] : formal methods ; 18th International Symposium, Paris, France, August 27-31, 2012, Proceedings / Dimitra Giannakopoulou, Dominique Méry (eds.)

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. T...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	International Symposium of Formal Methods Europe Paris, France
Other Authors:	Giannakopoulou, Dimitra, Méry, Dominique
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2012.
Series:	Lecture notes in computer science ; 7436. LNCS sublibrary. Programming and software engineering.
Subjects:	Formal methods (Computer science) > Congresses. Software engineering > Congresses. Formal methods (Computer science) Software engineering. Conference papers and proceedings.