author : Andrew C. Coombes

Short works

• Using Diagrams to Give a Formal Specification of Timing Constraints in Z. 1993. (In 7th Z User Workshop )
• Formal Specification of an Aerospace System: The Attitude Monitor. 1995. (In Applications of Formal Methods )