Thomas Henzinger
Névjegyek
Ecole Polytechnique Fédérale de Lausanne
Fényképek
Model checking, theorem proving, and abstract
Thomas Henzinger
14 éve - 41:21