Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops
de Javier Camara, Martin Steffen
Ediciones (1)
- Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops (2020)
Springer International Publishing AG · inglés · ISBN 9783030575052