author : Steffen Helke

Short works

• Automating Test Case Generation from Z Specifications with Isabelle. 1997. (In ZUM '97 )