Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results.

Werner Damm

Browse the full ICFEM paper archive.