Bibtex entry

    author = {Duffy, D. and MacNish, C. and McDermid, J. and Morris, P.},
    title = {A framework for requirements analysis using automated reasoning},
    booktitle = {Advanced Information Systems Engineering: Proc. Seventh International Conference},
    pages = {61--81},
    year = {1995},
    editor = {Iivari, J. and Lyytinen, K. and Rossi, M.},
    volume = {LNCS-932},
    publisher = {Springer-Verlag}
New user?
Forgotten your

To post or edit items:
  1. Log in.
  2. Go to the page to be modified
  3. Choose the option to post or edit


Home | Publications | People | Conferences | Software | Tutorials | Other | Newsletter

Site created by Studio 4 and the Innovation and Technology Research Laboratory.


Page load time: 0.0s