Software Engineering and Formal Methods
de Gilles Barthe, Alberto Pardo, Gerardo Schneider
Ediciones (1)
- Software Engineering and Formal Methods (2011)
Springer London, Limited · inglés · ISBN 9783642246906
de Gilles Barthe, Alberto Pardo, Gerardo Schneider
Springer London, Limited · inglés · ISBN 9783642246906