Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt.
Material type: Computer fileSeries: Lecture Notes in Computer Science ; 6538Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.Description: v.: digitalISBN:- 9783642182754
Reviews from LibraryThing.com:
No physical items for this record
There are no comments on this title.