author : Ina Kraan

Short works

• Implementing Z in Isabelle. 1995. (In ZUM '95 )
• Using the Rippling Heuristic in Set Membership Proofs. 1997. (In ZUM '97 )