Registered user since Thu 25 Apr 2019
Name:Alberto Lluch Lafuente
Country:Denmark
Affiliation:Technical University of Denmark
Personal website:http://www.imm.dtu.dk/~albl/
Research interests:Formal Methods, Distributed and Concurrent System, Safety and Security, Software Engineering, Artificial Intelligence
Contributions
| SPIN 2021 | Technical University of Denmark in Programming Committee within the SPIN-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA 2021-profile
View general profile
View general profile