Registered user since Fri 6 Mar 2015

Name: Pontus Boström

Affiliation: Abo Akademi University

Contributions

ECOOP 2015Author of Modular Verification of Finite Blocking in Non-terminating Programs within the Research Track-track