43296237
9783662492239
Bianculli, Domenico is the author of 'Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers', published 2016 under ISBN 9783662492239 and ISBN 3662492237.
[read more]