ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Tobias Reinhard

Registered user since Sat 18 Jul 2020

Name: Tobias Reinhard

Country: Belgium

Affiliation: imec-DistriNet, KU Leuven, Belgium

Contributions

FTfJP 2020Author of A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit within the FTfJP-track
Show activities from other conferences

Using general profile