printethlogo
UDDI
 
Search
ETH Zürich - Chair of Software EngineeringTAP: Test And Proofs  - Keynote Speakers
  

Keynote Speakers

Yannis Smaragdakis, University of Oregon, USA

 

Jonathan Ostroff, York University, Canada

 

Yuri Gurevich, Microsoft research, USA

top