conf.researchr.org / Pontus Boström
Registered user since Fri 6 Mar 2015
Name: Pontus Boström
Affiliation: Abo Akademi University
Contributions
| ECOOP 2015 | Author of Modular Verification of Finite Blocking in Non-terminating Programs within the Research Track-track |