SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tobias Reinhard

Registered user since Sat 18 Jul 2020

Name:Tobias Reinhard
Country:Belgium
Affiliation:imec-DistriNet, KU Leuven, Belgium

Contributions

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

SPLASH 2020-profile
View general profile