READING FORMAL SPECIFICATIONS
BERNARD SUFRIN
Abstract
In this paper we present the formal specification of a simple display-oriented text editor which has been in use at the design to consider a specification simply as a touchstone which facilitates formalisation and proof of questions relating to its intended behaviour.
Institution
OUCL
Month
June
Number
PRG24
Pages
31
Year
1981