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.
Abstract is missing.