CONCUR Test-Of-Time Award 2022 (Invited Paper).

Ilaria Castellani, Paul Gastin, Orna Kupferman, Mickael Randour, Davide Sangiorgi

Browse the full CONCUR paper archive.