Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops
de Domenico Bianculli, Radu Calinescu, Bernhard Rumpe
Materias
Ediciones (2)
- Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops (2016)
Springer · ISBN 9783662492239
- Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops (2016)
Springer London, Limited · inglés · ISBN 9783662492246