European Joint Conferences on Theory and Practice of Software
Thomas Henzinger
Institute of Science and Technology Austria