home
>
book reviews
> Florian Kammuller
Google >
Florian Kammuller
author : Florian Kammuller
Short works
Encoding Object-Z in Isabelle/HOL. 2002.
(In
ZB 2002
)