ETAPS 2019 (series) / Luís Caires
![Luís Caires](https://conf.researchr.org/getProfileImage/luiscaires/e9d35e37-8a88-4ee8-b0d0-deca9c2c560b/small.jpg?1711661357000)
Registered user since Fri 27 Apr 2018
Name:Luís Caires
Country:Portugal
Affiliation:NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
Personal website: http://ctp.di.fct.unl.pt/~lcaires/
Research interests:Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification
Contributions
ETAPS 2019-profile
View general profile
View general profile