This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022.The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
| ISBN: | 9783031212123 |
| Publication date: | 11th December 2022 |
| Author: | Wei Dong |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 235 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Artificial intelligence Computer hardware |