Vladimir Vojtek

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1995
c2		Lubos Mikusiak, Vladimir Vojtek, Jozef Hasaralejko, Jana Hanzelová: Z Browser - A Tool for Visualization of Z Specifications. ZUM 1995: 510-523
	1987
c1		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

Last update Sat May 25 06:21:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page