author : Tom Brookes

Short works

• Developing a Security-Critical System using Formal and Conventional Methods. 1995. (In Applications of Formal Methods )