By the same authors

A Framework for Requirements Analysis using Automated Reasoning

Research output: Contribution to conferencePaper

Standard

A Framework for Requirements Analysis using Automated Reasoning. / Duffy, David A.; MacNish, Craig; McDermid, John A.; Morris, Philip; Iivari, Juhani; Lyytinen, Kalle; Rossi, Matti.

1995. 68-81.

Research output: Contribution to conferencePaper

Harvard

Duffy, DA, MacNish, C, McDermid, JA, Morris, P, Iivari, J, Lyytinen, K & Rossi, M 1995, 'A Framework for Requirements Analysis using Automated Reasoning' pp. 68-81.

APA

Duffy, D. A., MacNish, C., McDermid, J. A., Morris, P., Iivari, J., Lyytinen, K., & Rossi, M. (1995). A Framework for Requirements Analysis using Automated Reasoning. 68-81.

Vancouver

Duffy DA, MacNish C, McDermid JA, Morris P, Iivari J, Lyytinen K et al. A Framework for Requirements Analysis using Automated Reasoning. 1995.

Author

Duffy, David A. ; MacNish, Craig ; McDermid, John A. ; Morris, Philip ; Iivari, Juhani ; Lyytinen, Kalle ; Rossi, Matti. / A Framework for Requirements Analysis using Automated Reasoning.

Bibtex - Download

@conference{dcdbb64a084548c584ed6228020810cc,
title = "A Framework for Requirements Analysis using Automated Reasoning",
author = "Duffy, {David A.} and Craig MacNish and McDermid, {John A.} and Philip Morris and Juhani Iivari and Kalle Lyytinen and Matti Rossi",
year = "1995",
language = "English",
pages = "68--81",

}

RIS (suitable for import to EndNote) - Download

TY - CONF

T1 - A Framework for Requirements Analysis using Automated Reasoning

AU - Duffy, David A.

AU - MacNish, Craig

AU - McDermid, John A.

AU - Morris, Philip

AU - Iivari, Juhani

AU - Lyytinen, Kalle

AU - Rossi, Matti

PY - 1995

Y1 - 1995

M3 - Paper

SP - 68

EP - 81

ER -