6 - Automatic verification
Published online by Cambridge University Press: 06 January 2010
Summary
- Type
- Chapter
- Information
- Real-Time SystemsFormal Specification and Automatic Verification, pp. 241 - 292Publisher: Cambridge University PressPrint publication year: 2008