Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009, proceedings
Author(s)
Bibliographic Information
Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18 - 20, 2009, proceedings
（Lecture notes in computer science, 5403）
Springer, c2009
Available at / 2 libraries
-
No Libraries matched.
- Remove all filters.