Search ResultsOther Libraries
Limit Search Results
Format
Publication Date
Author
Library
Language
Material Type
176 Results Found Subscribe to search results
000000000000OPAC
Print
18. 
Cover image for Verification, Model Checking, and Abstract Interpretation [electronic resource] : 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings