home
>
book reviews
> Peter Baumann
Google >
Peter Baumann
author : Peter Baumann
Short works
Z and Natural Semantics. 1994.
(In
8th Z User Workshop
)
Implementing Z in Isabelle. 1995.
(In
ZUM '95
)