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]
@inproceedings{ReifST01,
title = {Flaw Detection in Formal Specifications},
author = {Wolfgang Reif and Gerhard Schellhorn and Andreas Thums},
year = {2001},
url = {http://link.springer.de/link/service/series/0558/bibs/2083/20830642.htm},
researchr = {https://researchr.org/publication/ReifST01},
cites = {0},
citedby = {0},
pages = {642-657},
booktitle = {Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings},
editor = {Rajeev Goré and Alexander Leitsch and Tobias Nipkow},
volume = {2083},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-42254-4},
}