01363nam 2200445 450 991050258720332120231110213452.03-030-88806-1(CKB)5100000000044237(MiAaPQ)EBC6768779(Au-PeEL)EBL6768779(OCoLC)1281960288(PPN)258296216(EXLCZ)99510000000004423720220706d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierStatic analysis 28th international symposium, SAS 2021, Chicago, Ill., USA, October 17-19, 2021 : proceedings /Cezara Dragoi, Suvam Mukherjee, Kedar Namjoshi (editors)Cham, Switzerland :Springer,[2021]©20211 online resource (494 pages)Lecture Notes in Computer Science ;v.129133-030-88805-3 Lecture Notes in Computer Science Software engineeringSoftware engineering.005.1Drăgoi Cezara Mukherjee SuvamNamjoshi KedarMiAaPQMiAaPQMiAaPQBOOK9910502587203321Static Analysis2995248UNINA