ISBN 9783662492239 books & textbook
Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised ... Papers (Programming and Software Engineering)
Bianculli, Domenico Calinescu, Radu Rumpe, Bernhard
Springer /2016-02-03 Paperback / 354 Pages
isbn-10: 3662492237 / isbn-13: 9783662492239
