Abstract: Experience with Practical Formal Verification at an Industrial Scale
Tom Melham
Book Title
Proceedings of the Tenth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice: 15th–16th April 2003: Liverpool
Editor
Clare Dixon
Organisation
Department of Computer Science‚ University of Liverpool
Pages
1–2
Year
2003