LEADER 01363nam  2200445   450 
001 9910502587203321
005 20231110213452.0
010   $a3-030-88806-1
035   $a(CKB)5100000000044237
035   $a(MiAaPQ)EBC6768779
035   $a(Au-PeEL)EBL6768779
035   $a(OCoLC)1281960288
035   $a(PPN)258296216
035   $a(EXLCZ)995100000000044237
100   $a20220706d2021      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aStatic analysis $e28th international symposium, SAS 2021, Chicago, Ill., USA, October 17-19, 2021 : proceedings /$fCezara Dragoi, Suvam Mukherjee, Kedar Namjoshi (editors)
210  1$aCham, Switzerland :$cSpringer,$d[2021]
210  4$dİ2021
215   $a1 online resource (494 pages)
225 1 $aLecture Notes in Computer Science ;$vv.12913
311   $a3-030-88805-3 
410  0$aLecture Notes in Computer Science 
606   $aSoftware engineering
615  0$aSoftware engineering.
676   $a005.1
702   $aDra?goi$b Cezara 
702   $aMukherjee$b Suvam
702   $aNamjoshi$b Kedar
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910502587203321
996   $aStatic Analysis$92995248
997   $aUNINA