A Roadmap for Formal Property Verification

Property

by Pallab Dasgupta

Hardcover

ISBN: 978-1-4020-4757-2

ISBN-10: 1-4020-4757-6

Springer · 2006