Media type: E-Article Title: Invited Talk: AVR: Word-Level Verification by Equality Abstraction of Data State Contributor: Sakallah, Karem A. [VerfasserIn] imprint: 2021 Published in: International Workshop on Satisfiability Modulo Theories (19. : 2021 : Online): Satisfiability Modulo Theories - 19th international workshop, SMT 2021 ; (2021), Seite 2 Language: English Origination: Footnote: Access State: Open Access