Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, Psse 2004, Recife, Brazil, November 23-December (Paperback, 2006)
Fundamental Approaches to Software Engineering: 27th International Conference, Fase 2024, Held as Part of the European Joint Conferences on Theory and (Paperback, 2024)
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 1 (Paperback, 2017)
