Name
Havelund, Klaus.
4
Havelund, Klaus
3
Joshi, Rajeev.
2
Barringer, Howard.
1
Bobaru, Mihaela.
1
Deshmukh, Jyotirmoy V.
1
Falcone, Ylies.
1
Finkbeiner, Bernd.
1
Holzmann, Gerard J.
1
Holzmann, Gerard.
1
Lee, Insup.
1
Núnez, Manuel
1
Pace, Gordon.
1
Penix, John.
1
Perez, Ivan
1
Rosu, Grigorel
1
Roşu, Grigore.
1
Sokolsky, Oleg.
1
Tillmann, Nikolai.
1
Visser, Willem.
1
Wolff, Burkhart
1
Ábrahám, Erika
1