Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2011, held in Austin, TX, USA, in January 2011, co-located with the Symposium on Principles of Programming Languages, POPL 2011. The 24 revised full...
| Corporate Authors: | , |
|---|---|
| מחברים אחרים: | , |
| פורמט: | Electronic Resource |
| שפה: | English |
| יצא לאור: |
Berlin
Springer
c2011.
|
| סדרה: | Lecture notes in computer science
6538 LNCS sublibrary. SL 1, Theoretical computer science and general issues. |
| נושאים: | |
| גישה מקוונת: | Available for University of the Philippines Diliman via SpringerLink. Click here to access |