LEADER 02075nam  22004935  450 
001 996630870203316
005 20251225183627.0
010   $a9783031765544
010   $a3031765540
024 7 $a10.1007/978-3-031-76554-4
035   $a(CKB)36549565500041
035   $a(MiAaPQ)EBC31781170
035   $a(Au-PeEL)EBL31781170
035   $a(DE-He213)978-3-031-76554-4
035   $a(EXLCZ)9936549565500041
100   $a20241113d2025      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aIntegrated Formal Methods $e19th International Conference, IFM 2024, Manchester, UK, November 13?15, 2024, Proceedings /$fedited by Nikolai Kosmatov, Laura Kovács
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (336 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15234
311 08$a9783031765537 
311 08$a3031765532 
330   $aThis volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15234
606   $aSoftware engineering
606   $aSoftware Engineering
615  0$aSoftware engineering.
615 14$aSoftware Engineering.
676   $a005.1
700   $aKosmatov$b Nikolai$01744495
701   $aKova?cs$b Laura$00
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996630870203316
996   $aIntegrated Formal Methods$94309247
997   $aUNISA