Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Hardcover)

Formal Techniques for Distributed Objects, Components, and Systems: 43rd Ifip Wg 6.1 International Conference, Forte 2023, Held as Part of the 18th In (Paperback, 2023)

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings (Paperback)

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Confe (Paperback)

Fundamental Approaches to Software Engineering: 20th International Conference, Fase 2017, Held as Part of the European Joint Conferences on Theory and (Paperback, 2017)