ENGLISH

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

By Egon Börger , John Derrick , Antonio Cisternino , Stefania Gnesi , Vincenzo Gervasi (auth.) , Diego Latella , Helen Treharne (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2012
ISBN
978-3-642-30728-7, 978-3-642-30729-4
DOI
10.1007/978-3-642-30729-4
Language
english
Format
PDF
Filesize
9 MB (9234017 bytes)
Series
Lecture Notes in Computer Science 7321
Edition
1
Pages
360\369
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
CompilersInterpreters; Mathematical Logic and Formal LanguaSoftware Engineering; Logics and Meanings of Progr

Description

This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.

Similar books