author : Lubos Mikusiak

Short works

• Z Browser - Tool for Visualization of Z Specifications. 1995. (In ZUM '95 )