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