University of MinhoSchool of Engineering Departament of Computer Science
  Team Courses Post Grad Projects Publications   pt | en
 
 
 
 

Formal Specification of Highly Interactive Text Editors: The SPY Example
F. Mário Martins

Technical Report, Rutherford Appleton Laboratory, RAL-87-093, RAL, Oxford, UK. November, 1987.