Formal Approaches to Software Testing and Runtime Verification
de Klaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart Wolff
Materias
Ediciones (1)
- Formal Approaches to Software Testing and Runtime Verification (2006)
Springer London, Limited · inglés · ISBN 9783540497035
