Abstract: Experience with Practical Formal Verification at an Industrial Scale (Proceedings of the Tenth Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice: 15th–16th April 2003: Liverpool, 2003)

(untitled) - Melham, T