Integrated Formal Methods
Subtitle: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Publisher: Springer
Published: Sep 15, 2014
Format: paperback
Number of pages: 402
ISBN-13: 9783319101804
Notes: Source title: Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (Lecture Notes in Computer Science (8739))