Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019 Beijing, China
co-located with ISSTA 2019
Alberto Lluch Lafuente

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 2019Committee Member in Program Committee within the 26th International SPIN Symposium on Model Checking of Software-track
Show activities from other conferences

Using general profile