54624

4395424

Domenico Bianculli

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Springer

2015

9783662492239 ; 9783662492239 ; 9783662492239 ; 9783662492239 ; 9783662492239 ; 9783662492246 ; 9783662492246 ; 9783662492246 ; 9783662492246 ; 9783662492246