Verification, model checking, and abstract interpretation 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings
| Autor Corporativo: | |
|---|---|
| Otros Autores: | |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Berlin ; New York :
Springer
c2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Lecture notes in computer science ;
3385. |
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009713744406719 |
