author : John S. Fitzgerald

Short works

• Developing a Security-Critical System using Formal and Conventional Methods. 1995. (In Applications of Formal Methods )
• Formal Specification of an Aerospace System: The Attitude Monitor. 1995. (In Applications of Formal Methods )