Lubos Mikusiak

According to our database, Lubos Mikusiak authored at least 3 papers between 1995 and 1997.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

1997

Publishing Formal Specifications in Z Notation on World Wide Web.

Lubos Mikusiak, Miroslav Adámy, Thomas Seidmann

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Viewing Formal Specifications in Z on World Wide Web.

Lubos Mikusiak, Miroslav Adámy

Proceedings of the EUROMEDIA 1996 featuring WEBTEC-MEDIATEC-COMTEC-APTEC, 1996

1995

Z Browser - A Tool for Visualization of Z Specifications.

Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995