author : Glenn Bruns

Short works

• Gaining Assurance with Formal Methods. 1995. (In Applications of Formal Methods )