home
>
book reviews
> Jana Hanzelova
Google >
Jana Hanzelova
author : Jana Hanzelova
Short works
Z Browser - Tool for Visualization of Z Specifications. 1995.
(In
ZUM '95
)