Verification, model checking, and abstract interpretation 11th international conference, VMCAI 2010 ; Madrid, Spain, January 17-19, 2010 ; proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In add...
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Berlin :
Springer
c2010.
|
| Edición: | 1st ed. 2010. |
| Colección: | Lecture notes in computer science ;
5944. LNCS sublibrary. Theoretical computer science and general issues. |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713833906719 |
