Title: Integrated Formal Methods 9th International Conference Ifm 2012 Pisa Italy June 1821 2012 Proceedings
Subjects: System design, Formal methods (Computer science), Congresses, Software engineering