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