Dependable Software Engineering. Theories, Tools, and Applications: 8th International Symposium, SETTA 2022, Beijing, China, October 27-29, 2022, Proceedings

Formal Methods and Models for System Design: A System Level Perspective

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction