author : Peter Baumann

Short works

• Z and Natural Semantics. 1994. (In 8th Z User Workshop )
• Implementing Z in Isabelle. 1995. (In ZUM '95 )