Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.)

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. T...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Author:	International Conference on Integrated Formal Methods Turku, Finland
Other Authors:	Johnsen, Einar Broch (Editor), Petre, Luigia, 1974- (Editor)
Other title:	IFM 2013.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©2013.
Series:	Lecture notes in computer science ; 7940. 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.