Szerző
Cohen, Donald N.
1
International Conference on Verified Software: Theories, Tools, and Experiments9.(2017) (Heidelberg, Germany)
1
Johann, Patricia, Tft
1
Leitsch, Alexander (1952-)
1
Loveland, Donald W.
1
Paskevich, Andrei, szerk
1
Pirotte, Alain
1
Sandford, David M.
1
Siekmann, Jörg H., ed
1
Snyers, Dominique (1959-)
1
Socher-Ambrosius, Rolf
1
SpringerLink (Online service), közreadó testület
1
Thayse, André (1940-)
1
Wies, Thomas, szerk
1
Wos, Larry
1
Wrightson, Graham, ed
1
Zwiers, Job (1956-)
1