Verification, Model Checking, and Abstract Interpretation [electronic resource] : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).
Saved in:
| Published: |
Berlin :
Springer,
c2005.
|
|---|---|
| Online Access: | |
| Corporate Authors: | |
| Other Authors: | |
| Series: | Lecture notes in computer science ;
3385 |
| Subjects: | |
| Format: | Electronic Conference Proceeding eBook |
| Other Title: | |
|---|---|
| Notes: | Title from title screen (viewed February 8, 2005) Electronic book available via Springer Link. Print version originally published in 2005. Access restricted to subscribing institutions. Bib#: 909104 |
| Format: | System requirements: Adobe Acrobat required to view PDF document. |
| Access: | Access restricted to subscribing institutions. |
| Language: | English |
| ISBN: | 354024297X |
| DOI: | 10.1007/b105073 |
| Bib#: | 909104 |
