00645nam a22001217a 4500020002400000082001600024100005300040245015200093260004000245300003300285500005100318650015400369  a9783030587673 (pbk)  a005.14bSOF  aFrank de Boer (editor)aAntonio Cerone  (editor)  aSoftware engineering and formal methodsb: 18th International conference, SEFM 2020, Amsterdam, the Netherlands, september 14-18, 2020, proceedings  aSwitzerlandbSpringer Nature c2020  axiv, 324 p.b: ill.c; 24 cm  aIncludes bibliographical references and index.  aSoftware engineeringaArtificial intelligenceaComputer sciencevComputer applications vComputer programming vFormal verificationvTestingvGGCvFC