LEADER 03305nam  22006253u 450 
001 9910555235803321
005 20241115155928.0
010   $a3-030-99524-0
035   $a(CKB)5860000000038043
035   $aEBL6942717
035   $a(AU-PeEL)EBL6942717
035   $a(MiAaPQ)EBC6942717
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81626
035   $a(PPN)261518305
035   $a(EXLCZ)995860000000038043
100   $a20220617d2022||||  uy         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTools and algorithms for the construction and analysis of systems $e28th International Conference, TACAS 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings$feditors, Dana Fisman, Grigore Rosu
210   $aCham $cSpringer International Publishing AG$d2022
215   $a1 online resource (xxii, 583 pages) $cillustrations
225 1 $aLecture notes in computer science$vv.13243
300   $aDescription based upon print version of record.
300   $aIncludes author index.
311 1 $a3-030-99523-2 
330   $aThis open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
410  0$aLecture notes in computer science$v13243
606   $aComputer software$xVerification$vCongresses
606   $aSystem analysis$vCongresses
606   $aSystem design$vCongresses
606   $aDisseny de sistemes$2thub
606   $aVerificació del programari$2thub
606   $aAnàlisi de sistemes$2thub
608   $aCongressos$2thub
608   $aLlibres electrònics$2thub
615  0$aComputer software$xVerification
615  0$aSystem analysis
615  0$aSystem design
615  7$aDisseny de sistemes
615  7$aVerificació del programari
615  7$aAnàlisi de sistemes
700   $aFisman$b Dana$4edt$01072889
701   $aFisman$b Dana$01072889
701   $aRosu$b Grigore$01237102
712 12$aTACAS (Conference)$d(28th :$f2022 :$eMunich, Germany; online)
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a9910555235803321
996   $aTools and Algorithms for the Construction and Analysis of Systems$92871957
997   $aUNINA