Software Engineering and Formal Methods
Subtitle: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings
Publisher: Springer
Published: Aug 15, 2017
Format: paperback
Number of pages: 429
ISBN-13: 9783319661964
Notes: Source title: Software Engineering and Formal Methods: 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings (Lecture Notes in Computer Science (10469))