New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers - Balsamo, Simonetta; Balsamo, Simonetta; Marin, Andrea; Marin, Andrea; Vicario, Enrico; Vicario, Enrico (Springer International Publishing : Imprint: Springer, 2018)