Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study.

Michael Altenhofen, Achim D. Brucker

Browse the full FMICS paper archive.