Editions

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings

Current edition
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings

556 pages

nonfiction computer science design medium-paced
Other editions (12)
Expand filter menu Filter editions
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 7th International Conference, Vmcai 2006, Charleston, Sc, Usa, January 8-10, 2006, Proceedi

443 pages

nonfiction computer science design medium-paced
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceeding by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 9-11, 2003, Proceeding

328 pages

nonfiction computer science design medium-paced