Scalable Techniques for Formal Verification
Publisher: Springer
Published: Oct 19, 2014
Format: paperback
Number of pages: 257
ISBN-13: 9781489984449