TY  - BOOK
AU  - Shang-Wei Lin (editor)
TI  - Formal methods for software engineering : : 22nd international conference on formal engineering methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, proceedings
SN  - 9783030634056 (pbk)
U1  - 005.13 
PY  - 2021///
CY  - Switzerland
PB  - Springer Nature
KW  - Software Engineering
KW  - Software engineering congresses
KW  - Formal specification
KW  - Software verification
KW  - Formal methods
KW  - FC
KW  - GGC
N1  - Includes bibliographical references and author index.
ER  -