Integrated Formal Methods
Subtitle: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Publisher: Springer London, Limited
Published: 2014
Language: eng
ISBN-13: 9783319101811