Formal methods and testing
de Robert M. Hierons, J. P. Bowen, Mark Harman
Materias
Ediciones (2)
- Formal methods and testing (2008)
Springer · inglés · ISBN 9783540789161
- Formal Methods and Testing (2008)
Springer London, Limited · inglés · ISBN 9783540789178
