Spara
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the refereed proceedings of the 10th International Symposium on Dependable Software Engineering. The purpose of the SETTA symposium series is to bring international researchers together to exchange research results and ideas on bridging the gap between formal methods and software engineering.
- Undertitel
- 10th International Symposium, SETTA 2024, Hong Kong, China, November 26–28, 2024, Proceedings
- Redaktör
- Timothy Bourke, Liqian Chen, Amir Goharshady
- ISBN
- 9789819606016
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2024-11-25
- Sidor
- 418
