Scalable Techniques for Formal Verification
by Sandip Ray
ISBN 13: 9781441959973
Format: Hardcover (240 pages) Publisher: Springer Published: 22 Aug 2010
Save for later