Liu, Si http://orcid.org/0000-0003-3578-7432
Ölveczky, Peter Csaba http://orcid.org/0000-0002-0708-3721
Santhanam, Keshav http://orcid.org/0000-0001-5939-7944
Wang, Qi http://orcid.org/0000-0002-7517-8888
Gupta, Indranil http://orcid.org/0000-0002-9372-5937
Meseguer, José http://orcid.org/0000-0003-4779-3848
Chapter History
First Online: 4 April 2018
Conference Information
Conference Acronym: FASE
Conference Name: International Conference on Fundamental Approaches to Software Engineering
Conference City: Thessaloniki
Conference Country: Greece
Conference Year: 2018
Conference Start Date: 16 April 2018
Conference End Date: 19 April 2018
Conference Number: 21
Conference ID: fase2018
Conference URL: https://www.etaps.org/2018/