By the same authors

A Framework for Requirements Analysis using Automated Reasoning

Research output: Contribution to conferencePaper

Author(s)

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

Department/unit(s)

Publication details

DatePublished - 1995
Original languageEnglish

Discover related content

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

View graph of relations