Verified Software : Theories, Tools, and Experiments
7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Edición de la obra Verified Software : Theories, Tools, and Experiments
| Autor | Arie Gurfinkel, Sanjit A. Seshia |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| Páginas | 223 |
| ISBN-13 | 9783319296135 |
| Número de Cutter | G979v |