Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Verification, Model Checking, and Abstract Interpretation | Roberto Giacobazzi | This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-… | OL19909493W |