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 |