A Roadmap for Formal Property Verification [electronic resource] / by Pallab DasGupta.
E-book
Electronic resources
Record details
- ISBN: 9781402047589
- Physical Description: XIII, 251 p. online resource.
- Publisher: Dordrecht : Springer Netherlands, 2006.