Vladimir Vojtek

	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

Coauthor Index

1	Jana Hanzelová	[2]
2	Jozef Hasaralejko	[2]
3	Lubos Mikusiak	[2]
4	Ludovit Molnár	[1]
5	Pavol Návrat	[1]

Colors in the list of coauthors