Not registered as user yet

Name: Ruurd Kuiper

Affiliation: Eindhoven University of Technology, The Netherlands

Contributions

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