author : Thomas Santen

Short works

• Automating Test Case Generation from Z Specifications with Isabelle. 1997. (In ZUM '97 )
• On the Semantic Relation of Z and HOL. 1998. (In ZUM '98 )
• Encoding Object-Z in Isabelle/HOL. 2002. (In ZB 2002 )