Registered user since Fri 27 Apr 2018
Name:Luís Caires
Country:Portugal
Affiliation:INESC-ID / Instituto Superior Tecnico, University of Lisbon
Personal website: http://web.tecnico.ulisboa.pt/luis.caires
Research interests:Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification
Contributions
Using general profile