Hhnle Reiner

Researcher

Reiner Hähnle

Researcher

Reiner Hähnle

Researcher

Aws Albarghouthi

Author

David Samuel Rosenblum

Computer scientist

Martin Sulzmann

Author

Henry Muccini

Author

Oleg Sokolsky

Researcher

Tevfik Bultan

Mathematician

Patrizio Pelliccione

Computer science researcher

Oliviero Riganelli

Researcher

Marsha Chechik

Author

Sarfraz Khurshid

Author

Wolfgang Arendt

German mathematician

Gerard J. Holzmann

American computer scientist

Viktor Vafeiadis