ECOOP 2015 (series) / Pontus Boström
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
View general profile