Verified Software: Theories, Tools, Experiments
4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings
Edición de la obra Verified Software: Theories, Tools, Experiments
| Autor | Rajeev Joshi |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2012 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642277054 |
| Serie | Lecture Notes in Computer Science -- 7152 |
| Número de Cutter | J83v |