Verification, model checking and abstract interpretation : proceedings / Neil D. Jones, Markus Müller-Olm (eds.).
By: (10th : VMCAI (10th : 2009 : Savannah, Ga.).
Contributor(s): Jones, Neil D [ed.]
| Müller-Olm, Markus [ed.]
.
Material type: 
Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
![]() |
FaMAF Sección Lecture Notes | C LNCS v. 5403 | Available | 20542 |
Total holds: 0
Includes bibliographical references and index.