Personal Information
Organização/Local de trabalho
Zürich Area, Switzerland Switzerland
Cargo
Researcher at ETH Zurich
Setor
Education
Marcadores
formal methods
testing
verification
Ver mais