LEADER 02417oam 2200481 450 001 996418209203316 005 20210426232441.0 010 $a3-030-63461-2 024 7 $a10.1007/978-3-030-63461-2 035 $a(CKB)4100000011569078 035 $a(DE-He213)978-3-030-63461-2 035 $a(MiAaPQ)EBC6396112 035 $a(PPN)252506936 035 $a(EXLCZ)994100000011569078 100 $a20210426d2020 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aIntegrated Formal Methods $e16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, proceedings /$fBrijesh Dongol, Elena Troubitsyna, editors 205 $a1st ed. 2020. 210 1$aCham, Switzerland :$cSpringer,$d[2020] 210 4$d©2020 215 $a1 online resource (XI, 461 p. 1045 illus., 64 illus. in color.) 225 1 $aLecture notes in computer science ;$v12546 311 $a3-030-63460-4 320 $aIncludes bibliographical references and index. 327 $aIntegrating Machine Learning and Formal Modelling -- Modelling and Verification in B and Event-B -- Program Analysis and Testing -- Verification of Interactive Behaviour -- Formal Verification -- Static Analysis -- Domain-Specific Approaches -- Algebraic Techniques. 330 $aThis book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spectrum of topics: Integrating Machine Learning and Formal Modelling; Modelling and Verification in B and Event-B; Program Analysis and Testing; Verification of Interactive Behaviour; Formal Verification; Static Analysis; Domain-Specific Approaches; and Algebraic Techniques. 410 0$aLecture notes in computer science ;$v12546. 606 $aFormal methods (Computer science)$vCongresses 615 0$aFormal methods (Computer science) 676 $a004.0151 702 $aDongol$b Brijesh 702 $aTroubitsyna$b Elena$g(Elena A.),$f1970- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bUtOrBLW 906 $aBOOK 912 $a996418209203316 996 $aIntegrated Formal Methods$9772444 997 $aUNISA