A Roadmap for Formal Property Verification
Hardcover: 252 pages
Publisher: Springer (July 5, 2006)
Language: English
ISBN-10: 1402047576
A Roadmap for Formal Property Verification
Hardcover: 252 pages
Publisher: Springer (July 5, 2006)
Language: English
ISBN-10: 1402047576

