LEADER 03340nam  22007695  450 
001 9910633930503321
005 20251113210309.0
010   $a9783031224768
010   $a3031224760
024 7 $a10.1007/978-3-031-22476-8
035   $a(MiAaPQ)EBC7150675
035   $a(Au-PeEL)EBL7150675
035   $a(CKB)25510542000041
035   $a(OCoLC)1352973612
035   $a(PPN)266348890
035   $a(DE-He213)978-3-031-22476-8
035   $a(EXLCZ)9925510542000041
100   $a20221130d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods: Foundations and Applications $e25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6?9, 2022, Proceedings /$fedited by Lucas Lima, Vince Molnár
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (154 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13768
311 08$aPrint version: Lima, Lucas Formal Methods: Foundations and Applications Cham : Springer International Publishing AG,c2023 9783031224751 
320   $aIncludes bibliographical references and index.
327   $aInvited Talks -- Model Checking and Semantics -- Generation and Synthesis -- Verification and Solvers.
330   $aThis book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13768
606   $aSoftware engineering
606   $aNatural language processing (Computer science)
606   $aLogic programming
606   $aComputer science
606   $aComputers, Special purpose
606   $aComputer networks
606   $aSoftware Engineering
606   $aNatural Language Processing (NLP)
606   $aLogic in AI
606   $aTheory of Computation
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Communication Networks
615  0$aSoftware engineering.
615  0$aNatural language processing (Computer science)
615  0$aLogic programming.
615  0$aComputer science.
615  0$aComputers, Special purpose.
615  0$aComputer networks.
615 14$aSoftware Engineering.
615 24$aNatural Language Processing (NLP).
615 24$aLogic in AI.
615 24$aTheory of Computation.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Communication Networks.
676   $a005.1
702   $aMolna?r$b Vince
702   $aLima$b Lucas
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910633930503321
996   $aFormal Methods: Foundations and Applications$9773789
997   $aUNINA