| |
| 1995 | ||
|---|---|---|
| 2 | Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová: Z Browser - A Tool for Visualization of Z Specifications. ZUM 1995: 510-523 | |
| 1987 | ||
| 1 | Pavol Návrat, Ludovit Molnár, Vladimir Vojtek: Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. EUROCAL 1987: 412-423 | |
| 1 | Jana Hanzelová | [2] |
| 2 | Jozef Hasaralejko | [2] |
| 3 | Lubos Mikusiak | [2] |
| 4 | Ludovit Molnár | [1] |
| 5 | Pavol Návrat | [1] |