ISSTA 2019
Mon 15 - Fri 19 July 2019 Beijing, China
Alberto Lluch Lafuente

Registered user since Thu 25 Apr 2019

Name: Alberto Lluch Lafuente

Country: Denmark

Affiliation: Technical University of Denmark

Personal website:

Research interests: Formal Methods, Distributed and Concurrent System, Safety and Security, Software Engineering, Artificial Intelligence


SPIN 2019Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
Show activities from other conferences

ISSTA 2019-profile
View general profile