Not registered as user yet

Name:Ruurd Kuiper
Affiliation:Eindhoven University of Technology, The Netherlands

Contributions

ECOOP 2015 Author of Modular Termination Verification within the Research Track-track