The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Publication Details:
Book: ONA/ARPA/AFOSR/ARO/NSF Workshop on Increasing the Practical Impact of Formal Methods
Editors:Luqi, J.B.
Book#: MISSING
Publisher:MISSING
Volume:MISSING
Pages: MISSING

Paper in Conference Proceedings #749

Title:Making Specification Design More Accountable
Authors:Robertson,DS; Hesketh,J
Date: 1994
Presented:
Keywords:








[Search These Pages] [DAI Home Page] [Comment]