This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
| ISBN: | 9783031172434 |
| Publication date: | 10th October 2022 |
| Author: | Adrian Riesco |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 440 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Software Engineering Applied computing |
This book constitutes the proceedings of the 23rd International Conference on Formal Engineering Methods, ICFEM 2022, held in Madrid, Spain, in October 2022. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
Formal Methods and Software Engineering features in the following genres: Mathematical theory of computation, Software Engineering, Applied computing
Formal Methods and Software Engineering is available in Paperback
Formal Methods and Software Engineering was written by Adrian Riesco and published by Springer International Publishing AG
Formal Methods and Software Engineering has 440 pages
Yes it is part of Lecture Notes in Computer Science series
£40.49