| Verification, Model Checking, and Abstract Interpretation |
| 9th International Conference, VMCAI 2008 |
| ISBN: |
|
| Ausgabe: |
2008 |
| Ausgabejahr: |
2008
|
| Autor(en): |
Francesco Logozzo
,
Doron A. Peled
,
Lenore D. Zuck
|
| Verlag: |
Springer |
| Publikationstyp: |
Proceeding |
| Publikationskategorie: |
0.2 0.2 Tagungsbände |
| SSW-Nummer: |
1557 |
| Bibliothek: |
SSW-Bibliothek
|
| Standort: |
SSW-Bibliothek |
| Stichwörter: |
|
| Kurzbeschreibung: |
|
|
|
