Verification, model checking, and abstract interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011, proceedings

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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συλλογικό Έργο: Verification, Model Checking, and Abstract Interpretation 2011 Austin, Texas, SpringerLink (Online service)
Άλλοι συγγραφείς: Jhala, Ranjit, Schmidt, David A. 1953 May 10-
Μορφή: Electronic Resource
Γλώσσα:English
Έκδοση: Berlin Springer c2011.
Σειρά:Lecture notes in computer science 6538
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Θέματα:
Computer software > Verification > Congresses.
Electronic books.
Διαθέσιμο Online:Available for University of the Philippines Diliman via SpringerLink. Click here to access