LEADER 01475nam  2200457   450 
001 996464402003316
005 20220707221606.0
010   $a3-030-88885-1
035   $a(CKB)5100000000044199
035   $a(MiAaPQ)EBC6768758
035   $a(Au-PeEL)EBL6768758
035   $a(OCoLC)1281956231
035   $a(PPN)258296186
035   $a(EXLCZ)995100000000044199
100   $a20220707d2021      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aAutomated technology for verification and analysis $e19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings /$fZhe Hou, Vijay Ganesh (editors)
210  1$aCham, Switzerland :$cSpringer,$d[2021]
210  4$dİ2021
215   $a1 online resource (384 pages)
225 1 $aLecture Notes in Computer Science ;$v12971
311   $a3-030-88884-3 
410  0$aLecture notes in computer science ;$v12971.
606   $aAutomatic theorem proving$vCongresses
606   $aComputer logic$vCongresses
615  0$aAutomatic theorem proving
615  0$aComputer logic
676   $a004.015113
702   $aHou$b Zhe
702   $aGanesh$b Vijay
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996464402003316
996   $aAutomated Technology for Verification and Analysis$9772478
997   $aUNISA