Software Engineering and Formal Methods
Subtitle: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
Publisher: Springer
Published: Jun 23, 2016
Format: paperback
Number of pages: 434
ISBN-13: 9783319415901
Notes: Source title: Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings (Lecture Notes in Computer Science (9763))