Flaw Detection in Formal Specifications.

Wolfgang Reif, Gerhard Schellhorn, Andreas Thums

Browse the full CADE paper archive.