Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Pra (Paperback, 2021)
Formal Techniques for Distributed Objects, Components, and Systems: 39th Ifip Wg 6.1 International Conference, Forte 2019, Held as Part of the 14th In (Paperback, 2019)