A Framework for Requirements Analysis Using Automated Reasoning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'David A. Duffy' in GoogleThis author has not been identified. Look up 'Craig MacNish' in GoogleThis author has not been identified. Look up 'John A. McDermid' in GoogleThis author has not been identified. Look up 'Philip Morris' in Google

runs on WebDSL