Scalable Techniques for Formal Verification

Techniques

by Sandip Ray

Hardcover

ISBN: 978-1-4419-5997-3

ISBN-10: 1-4419-5997-1

Springer · 2010