Personal Information
Organization / Workplace
Zürich Area, Switzerland Switzerland
Occupation
Researcher at ETH Zurich
Industry
Education
Website
http://bugcounting.net
Tags
formal methods
testing
verification
See more