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


Documents on: formal semantics

PP1158 1997 Paper in Conference Proceedings Boulton,R
A Tool to Support Formal reasoning about Computer Languages


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