Vladimir Vojtek

Publication Activity (10 Years)

Years Active: 1987-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)
Pavol Návrat, Ludovít Molnár, Vladimir Vojtek
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. EUROCAL (1987)