author : Florian Kammuller

Short works

• Encoding Object-Z in Isabelle/HOL. 2002. (In ZB 2002 )