conf.researchr.org / Luís Caires

Registered user since Fri 27 Apr 2018
Name:Luís Caires
Country:Portugal
Affiliation:Universidade Nova de Lisboa and NOVA LINCS
Personal website:http://ctp.di.fct.unl.pt/~lcaires/
Research interests:Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification
Contributions