Alberto Lluch Lafuente

Registered user since Thu 25 Apr 2019

Name:Alberto Lluch Lafuente
Country:Denmark
Affiliation:Technical University of Denmark
Research interests:Formal Methods, Distributed and Concurrent System, Safety and Security, Software Engineering, Artificial Intelligence

Contributions