01475nam 2200457 450 99646440200331620220707221606.03-030-88885-1(CKB)5100000000044199(MiAaPQ)EBC6768758(Au-PeEL)EBL6768758(OCoLC)1281956231(PPN)258296186(EXLCZ)99510000000004419920220707d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAutomated technology for verification and analysis 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings /Zhe Hou, Vijay Ganesh (editors)Cham, Switzerland :Springer,[2021]©20211 online resource (384 pages)Lecture Notes in Computer Science ;129713-030-88884-3 Lecture notes in computer science ;12971.Automatic theorem provingCongressesComputer logicCongressesAutomatic theorem provingComputer logic004.015113Hou ZheGanesh VijayMiAaPQMiAaPQMiAaPQBOOK996464402003316Automated Technology for Verification and Analysis772478UNISA