Conference
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Editors
Albert E; Sekerinski E
Series
Lecture Notes in Computer Science
Volume
8739
Publisher
Springer
Publication Date
January 1, 2014
ISBN-13
978-3-319-10180-4
Conference proceedings
IFM