Fundamental Approaches to Software Engineering: 22nd International Conference, Fase 2019, Held as Part of the European Joint Conferences on Theory and (Paperback, 2019)
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Sys (Paperback, 2014)
