Thomas Henzinger
Proffesions
Ecole Polytechnique Fédérale de Lausanne
Photos
Model checking, theorem proving, and abstract
Thomas Henzinger
14 years ago - 41:21