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: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |