TY  - BOOK
AU  - Frank de Boer (editor)
TI  - Software engineering and formal methods: : 18th International conference, SEFM 2020, Amsterdam, the Netherlands, september 14-18, 2020, proceedings
SN  - 9783030587673 (pbk)
U1  - 005.14 
PY  - 2020///
CY  - Switzerland
PB  - Springer Nature 
KW  - Software engineering
KW  - Artificial intelligence
KW  - Computer science
KW  - Computer applications
KW  - Computer programming
KW  - Formal verification
KW  - Testing
KW  - GGC
KW  - FC
N1  - Includes bibliographical references and index
ER  -