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