Lubos Mikusiak

Publication Activity (10 Years)

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

Publications

Lubos Mikusiak, Miroslav Adámy, Thomas Seidmann
Publishing Formal Specifications in Z Notation on World Wide Web. TAPSOFT (1997)
Lubos Mikusiak, Miroslav Adámy
Viewing Formal Specifications in Z on World Wide Web. EUROMEDIA (1996)
Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová
Z Browser - A Tool for Visualization of Z Specifications. ZUM (1995)