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