You need to sign in or sign up before continuing.

Editions

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

Current edition
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
Other editions (12)
Expand filter menu Filter editions
Verification, Model Checking, and Abstract Interpretation by

Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

395 pages

nonfiction computer science design medium-paced
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