Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science)
by Radu Calinescu,Bernhard Rumpe
ISBN 13: 9783319229683
Format: Paperback (384 pages) Publisher: Springer Published: 21 Aug 2015
Save for later
Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings: 13085 (Lecture Notes in Computer Science, 13085)
by Radu Calinescu,Corina S. Pasareanu
ISBN 13: 9783030921231
Format: Paperback (537 pages) Publisher: Springer Published: 03 Dec 2021