Lubos Mikusiak

	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

Coauthor Index

1	Miroslav Adámy	[2]
2	Jana Hanzelová	[1]
3	Jozef Hasaralejko	[1]
4	Thomas Seidmann	[2]
5	Vladimir Vojtek	[1]

Colors in the list of coauthors