author : Leonor Barroca

Short works

• Formal Specification of an Aerospace System: The Attitude Monitor. 1995. (In Applications of Formal Methods )