David A. Duffy, Craig MacNish, John A. McDermid, Philip Morris. A Framework for Requirements Analysis Using Automated Reasoning. In Juhani Iivari, Kalle Lyytinen, Matti Rossi, editors, Advanced Information Systems Engineering, 7th International Conference, CAiSE 95, Jyväskylä, Finland, June 12-16, 1995, Proceedings. Volume 932 of Lecture Notes in Computer Science, pages 68-81, Springer, 1995.
@inproceedings{DuffyMMM95,
title = {A Framework for Requirements Analysis Using Automated Reasoning},
author = {David A. Duffy and Craig MacNish and John A. McDermid and Philip Morris},
year = {1995},
tags = {analysis},
researchr = {https://researchr.org/publication/DuffyMMM95},
cites = {0},
citedby = {0},
pages = {68-81},
booktitle = {Advanced Information Systems Engineering, 7th International Conference, CAiSE 95, Jyväskylä, Finland, June 12-16, 1995, Proceedings},
editor = {Juhani Iivari and Kalle Lyytinen and Matti Rossi},
volume = {932},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-59498-1},
}