Scalable Techniques for Formal Verification
Publisher: Springer
Published: Aug 12, 2010
Format: paperback
Number of pages: 260
ISBN-13: 9781441960061