Constraint-Based Verification

Constraint

by: Jun Yuan · Carl Pixley · Adnan Aziz

Hardcover

ISBN: 978-0-387-25947-5

ISBN-10: 0-387-25947-3

Springer · 2006