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
Affiliation:imec-DistriNet, KU Leuven, Belgium


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