| 1997 | ||
|---|---|---|
| 2 | Lubos Mikusiak, Miroslav Adámy, Thomas Seidmann: Publishing Formal Specifications in Z Notation on World Wide Web. TAPSOFT 1997: 871-874 | |
| 1995 | ||
| 1 | Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová: Z Browser - A Tool for Visualization of Z Specifications. ZUM 1995: 510-523 | |
| 1 | Miroslav Adámy | [2] |
| 2 | Jana Hanzelová | [1] |
| 3 | Jozef Hasaralejko | [1] |
| 4 | Thomas Seidmann | [2] |
| 5 | Vladimir Vojtek | [1] |