ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Registered user since Fri 6 Mar 2015

Name: Pontus Boström

Affiliation: Abo Akademi University

Contributions

ECOOP 2015 Modular Verification of Finite Blocking in Non-terminating Programs
Show activities from other conferences

ECOOP 2015-profile
View general profile