Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops
de Steve Counsell, Manuel Núñez
Ediciones (1)
- Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops (2014)
Springer London, Limited · inglés · ISBN 9783319050324