Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings 2020 · ENGLISH · PDF View details →
LIBRARY Computer Safety, Reliability, and Security: 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings 2019 · ENGLISH · PDF View details →
LIBRARY Computer Safety, Reliability, and Security: SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings 2019 · ENGLISH · PDF View details →
Dependability and Computer Engineering: Concepts for Software-Intensive Systems 2011 · ENGLISH · PDF View details →
