TY  - CONF

T1  - A Framework for Requirements Analysis Using Automated Reasoning

JO  - CAiSE

UR  - https://doi.org/10.1007/3-540-59498-1

PY  - 1995/01/01

AU  - Duffy DA

AU  - MacNish C

AU  - McDermid JA

AU  - Morris P

ED  - Iivari J

ED  - Lyytinen K

ED  - Rossi M

PB  - Springer

VL  - 932

SP  - 68

EP  - 81

Y2  - 2024/12/22

ER  -