Constraint-Based Verification
by:
Jun Yuan · Carl Pixley ·
Adnan Aziz
Hardcover
details (
United States
).
ISBN: 978-0-387-25947-5
ISBN-10: 0-387-25947-3
Springer
· 2006