By the same authors

A Framework for Requirements Analysis using Automated Reasoning

Research output: Contribution to conferencePaper


  • David A. Duffy
  • Craig MacNish
  • John A. McDermid
  • Philip Morris
  • Juhani Iivari
  • Kalle Lyytinen
  • Matti Rossi


Publication details

DatePublished - 1995
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations