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

Documents on: formal methods

RP698 1994 Research Paper Funk,P; Robertson,DS
Case-Based Selection of Requirements Specifications for Telecommunication Systems
RP644 1993 Research Paper Madden,P; Bundy,A
General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving

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