Search
Now showing items 1-1 of 1
Specification and implementation of the Larch shared language
(1989)
This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to ...