Not registered as user yet

Name:Thomas A. Henzinger
Affiliation:IST Austria, Austria

Contributions

PLDI 2022 (PLDI 2020) Inductive Sequentialization of Asynchronous Programs
Show activities from other conferences

Using general profile