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