VerifyThis 2019 Contributors -

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

co-located with ETAPS 2019

Filter

Role Type

Contributing to

Number of Roles

Country

Results (5)

D Claire DrossDross, Claire AdaCoreFrance Committee Member in Organizing Committee within the VerifyThis-track
F Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Organizing Committee within the VerifyThis-track
H Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Organizing Committee within the VerifyThis-track
M Rosemary MonahanMonahan, Rosemary National University of Ireland Committee Member in Organizing Committee within the VerifyThis-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Committee Member in Organizing Committee within the VerifyThis-track