Automated technology for verification and analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021, proceedings / / Zhe Hou, Vijay Ganesh (editors)

• Record Nr.: UNISA996464402003316
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer, , [2021]; ©2021
• ISBN: 3-030-88885-1
• Descrizione fisica: 1 online resource (384 pages)
• Collana: Lecture Notes in Computer Science ; ; 12971
• Disciplina: 004.015113
• Soggetti: Automatic theorem proving; Computer logic
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia