Domenico BianculliBooksSoftware Engineering and Formal Methods : SEFM 2015 Collocated WorkshopsMatinée with Carlo GhezziProceedings of the International Workshop on Quality Assurance for Service-Based ApplicationsProceedings of the 2013 International Workshop on Quality Assurance for Service-Based ApplicationsAuthor data: Open Library