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