Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings (Paperback)

Computer Safety, Reliability, and Security: Safecomp 2019 Workshops, Assure, Decsos, Sassur, Strive, and Waise, Turku, Finland, September 10, 2019, Pr (Paperback, 2019)

Software Engineering for Resilient Systems: 8th International Workshop, Serene 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings (Paperback, 2016)

Dependability and Computer Engineering: Concepts for Software-Intensive Systems (Hardcover)

Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, (Paperback)