Foundations of software science and computation structures 21st International Conference, FOSSACS 2018 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018 : proceedings - Baier, Christel; Dal Lago, Ugo (Springer Open, 2018)