Integrated formal methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings / Elvira Albert, Emil Sekerinski (Eds.)

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The p...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	International Conference on Integrated Formal Methods Bertinoro, Italy
Other Authors:	Albert, Elvira (Editor), Sekerinski, E. (Emil), 1963- (Editor)
Other title:	IFM 2014.
Format:	Conference Proceeding eBook
Language:	English
Published:	Cham : Springer, [2014]
Series:	Lecture notes in computer science ; 8739. LNCS sublibrary. Programming and software engineering.
Subjects:	Formal methods (Computer science) > Congresses. System design > Congresses. Formal methods (Computer science) System design. Conference papers and proceedings.