author : Antoni Diller

Books

• Z: an Introduction to Formal Methods. 1990

Papers/Articles

• Z and Hoare Logics. 1992. In 6th Z User Workshop
• Z and Abstract Machine Notation: A Comparison. 1994. In 8th Z User Workshop