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