Registered user since Wed 21 Nov 2018

Name:Samir Genaim
Country:Spain
Affiliation: Universidad Complutense de Madrid
Research interests:Program analysis, termination analysis, resource usage analysis

Contributions