ISBN 3540208038 books & textbook

Verification, Model Checking, and Abstract Interpretation

Steffen, Bernhard Levi, Giorgio

Springer /2004-01-07 Paperback / 325 Pages
isbn-10: 3540208038 / isbn-13: 9783540208037