Scalable Techniques for Formal Verification
Hardcover: 340 pages
Publisher: Springer (August 22, 2010)
Language: English
ISBN-10: 1441959971
Scalable Techniques for Formal Verification
Hardcover: 340 pages
Publisher: Springer (August 22, 2010)
Language: English
ISBN-10: 1441959971

