home
>
book reviews
> Ina Kraan
Google >
Ina Kraan
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
)