Formal methods and software engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings /
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected fro...
| Corporate Authors: | International Conference on Formal Engineering Methods Singapore, Singapore) |
|---|---|
| Other Authors: | International Conference on Formal Engineering Methods, Lin, Shang-Wei., Hou, Zhe (Lecturer), Mahoney, Brendan., SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
2021.
Cham : 2021. |
| Physical Description: |
1 online resource (336 pages). |
| Series: |
Lecture notes in computer science ;
12531. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
Table of Contents:
- Safety and Security
- Program Verification
- Formal Methods and Machine Learning
- Formal Languages
- Other Applications of Formal Methods.