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