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]
No references recorded for this publication.
No citations of this publication recorded.