LEADER 03399nam  22007335  450 
001 9910427673203321
005 20250707100227.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   $a20201113d2020      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntegrated Formal Methods $e16th International Conference, IFM 2020, Lugano, Switzerland, November 16?20, 2020, Proceedings /$fedited by Brijesh Dongol, Elena Troubitsyna
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (XI, 461 p. 1045 illus., 64 illus. in color.) 
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12546
311 08$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$aProgramming and Software Engineering,$x2945-9168 ;$v12546
606   $aSoftware engineering
606   $aLogic programming
606   $aNatural language processing (Computer science)
606   $aMicroprogramming
606   $aComputers, Special purpose
606   $aComputer systems
606   $aSoftware Engineering
606   $aLogic in AI
606   $aNatural Language Processing (NLP)
606   $aControl Structures and Microprogramming
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
615  0$aSoftware engineering.
615  0$aLogic programming.
615  0$aNatural language processing (Computer science)
615  0$aMicroprogramming.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615 14$aSoftware Engineering.
615 24$aLogic in AI.
615 24$aNatural Language Processing (NLP).
615 24$aControl Structures and Microprogramming.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
676   $a004.0151
702   $aDongol$b Brijesh
702   $aTroubitsyna$b Elena$g(Elena A.),$f1970-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910427673203321
996   $aIntegrated Formal Methods$92860239
997   $aUNINA