Author
Vašek, Vladimír, 1948-
7
Bobál, Vladimír, 1942-
3
Prokop, Roman, 1952-
2
Adámek, Milan, 1967-
1
Bambuch, Jozef
1
Barnet, Tomáš
1
Bernado, Marco
1
Blackman, M.
1
Bližňák, Michal
1
Bobál, Vladimír
1
Cheng, Albert M. K.
1
Corradini, Flavio, 1966-
1
Dolinay, Jan
1
Hlaváček, Marek
1
Hrnčiřík, Karel
1
Hruška, František, 1941-
1
International School on Formal Methods for the Design of Computer, Communication, and Software Systems Bertinoro, Itálie)
1
Juřica, Miroslav
1
KORBEL, Jiří
1
Kacálek, Roman
1
Klofáč, Jiří
1
Korec, Jan
1
Krčmář, Jakub
1
Li, Qing, 1971-
1
Ljung, Lennart, 1946-
1
Lukačovič, Petr
1
Svoboda, Radek
1
Warzel, Petr
1
Yao, Caroline
1
Červinka, Richard
1
Šindelář, Petr
1