Registered user since Wed 21 Nov 2018
Name:Samir Genaim
Country:Spain
Affiliation: Universidad Complutense de Madrid
Personal website: http://samir.loopkiller.com
Research interests:Program analysis, termination analysis, resource usage analysis
Contributions
FM 2026-profile
View general profile
View general profile