Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... 9509 (Lecture Notes in Computer Science)
by Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
ISBN 13: 9783662492239
Format: Paperback (356 pages) Publisher: Springer Published: 19 Feb 2016
Save for later