Wolfgang Reif, Gerhard Schellhorn, Andreas Thums. Flaw Detection in Formal Specifications. In Rajeev Goré, Alexander Leitsch, Tobias Nipkow, editors, Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Volume 2083 of Lecture Notes in Computer Science, pages 642-657, Springer, 2001. [doi]
Abstract is missing.