Editions

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings

Current edition
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings

395 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