author : Darrell M. Kienzle

Short works

• Preliminary Experience Using Z to Specify a Safety-Critical System. 1993. (In 7th Z User Workshop )