Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings: 9763 (Lecture Notes in Computer Science)
by Rocco De Nicola, Eva Kühn
ISBN 13: 9783319415901
Format: Paperback (436 pages) Publisher: Springer Published: 23 Jun 2016
Save for later