Integrated Formal Methods
Subtitle: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
Publisher: Springer
Published: Aug 27, 2017
Format: paperback
Number of pages: 459
ISBN-13: 9783319668444
Notes: Source title: Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings (Lecture Notes in Computer Science (10510))