Software engineering and formal methods : 18th International conference, SEFM 2020, Amsterdam, the Netherlands, september 14-18, 2020, proceedings - Frank de Boer (editor) Antonio Cerone (editor) (Switzerland Springer Nature, 2020)
Includes bibliographical references and index.
Keywords: Software engineering -- Artificial intelligence -- Computer science -- Computer applications -- Computer programming -- Formal verification -- Testing -- GGC -- FC