author : Tony Bryant

Short works

• Using Z to Rigorously Review a Specification of a Network Management System. 1995. (In ZUM '95 )
• Rigorous Review Technique. 1999. (In Industrial-Strength Formal Methods in Practice )