Original language | English |
---|---|
Pages (from-to) | vi |
Journal | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Volume | 4905 LNCS |
State | Published - 2008 |
Event | 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2008 - San Francisco, CA, United States Duration: 7 Jan 2008 → 9 Jan 2008 |
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Francesco Logozzo, Doron A. Peled, Lenore D. Zuck
Research output: Contribution to journal › Editorial