Constraint-Based Verification
Publisher: Springer
Published: Oct 29, 2010
Format: paperback
Number of pages: 266
ISBN-13: 9781441938527