author : Vivien Hamilton

Short works

• The Use of Z within a Safety-Critical Software System. 1995. (In Applications of Formal Methods )