Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
| Author/creator | Namjoshi, Kedar S. Volume Editor |
| Other author | Emerson, E. Allen Volume Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | XI, 443 p. ill 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from Springer Books |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Subjects |
| Series | Lecture Notes in Computer Science Ser. Vol. 3855 |
| Summary | Annotation The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2005937944 |
| ISBN | 9783540311393 |
| ISBN | 3540311394 (Trade Paper) Active Record |
| Standard identifier# | 9783540311393 |
| Stock number | 3540311394 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |