Jozef Hasaralejko

Publication Activity (10 Years)

Years Active: 1995-1995
Publications (10 Years): 0

Publications

Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová
Z Browser - A Tool for Visualization of Z Specifications. ZUM (1995)