home
>
book reviews
> Peter T. Breuer
Google >
Peter T. Breuer
author : Peter T. Breuer
Short works
Towards Correct Executable Semantics for Z. 1994.
(In
8th Z User Workshop
)