ETAPS 2019 (series) / Adrian Riesco
Registered user since Sun 3 Mar 2019
Name:Adrian Riesco
Country:Spain
Affiliation:Universidad Complutense de Madrid
Personal website: http://maude.sip.ucm.es/~adrian/
Research interests:Rewriting logic
Contributions
ETAPS 2019-profile
View general profile
View general profile