Verified Software : Theories, Tools, Experiments
Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings
Edición de la obra Verified Software : Theories, Tools, Experiments
| Autor | Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2010 |
| Idioma | inglés |
| Páginas | 217 |
| ISBN-13 | 9783642150579 |
| Número de Cutter | L439v |