Tom Henzinger

Tom Henzinger is an author at Institute of Science and Technology Austria specializing in formal methods, computing, and computer science.

Publications per year

1990–2015

4

Publications

4