Author
Komínková Oplatková, Zuzana, 1980-
2
Oulehla, Milan
2
Roudenský, Petr
2
Torres Milano, Diego
2
Wohlin, Claes, 1959-
2
Bartoník, Jan
1
Blundell, Paul
1
Bureš, Miroslav, 1979-
1
Carter, Jacquelyn
1
Doležel, Michal
1
Dorairaj, Siva, 1972-
1
Dua, Pami
1
Dumke, Reiner
1
Ebert, Christof, 1964-
1
Eigenmann, Rudolf, 1955-
1
Falk, Jack L., 1950-
1
Faltin, Frederick W.,
1
Ganssle, Jack G., 1953-
1
Ghani, Imran, 1975-
1
Grenning, James W.
1
Grössl, Zdeněk
1
Gunther, Neil J., 1950-
1
Gupta, Gaurav
1
Havelka, Arnošt
1
Havlíčková, Anna
1
Herout, Pavel, 1961-
1
Humble, Jez,
1
Höst, Martin, 1966-
1
International Workshop on Formal Methods for Industrial Critical Systems Berlin, Germany)
1
Janků, Peter
1
Jawawi, Dayang Norhayati Abang, 1972-
1
Johnston, Ken
1
Kaner, Cem, 1953-
1
Kenett, Ron,
1
Komárek, Martin, 1978-
1
Krejčí, Lukáš, 1979-
1
Králík, Lukáš
1
Krásenský, David
1
Kumbhakar, Subal
1
Leue, Stefan, 1962-
1
Louis, Feroz Pearl
1
Macek, Ondřej, 1984-
1
Malíková, Hana
1
Martin, Robert C.
1
Merino, Pedro
1
Microsoft ACE Team
1
Mlynář, Radoslav
1
Molesky, Joanne,
1
Nguyen, Hung Quoc
1
Niñirola, Antonio Hernández
1
more ...