Personal Information
Unternehmen/Arbeitsplatz
Zürich Area, Switzerland Switzerland
Beruf
Researcher at ETH Zurich
Branche
Education
Webseite
http://bugcounting.net
Tags
formal methods
testing
verification
Mehr anzeigen