Proving LTL Properties of Bitvector Programs and Decompiled Binaries

von Liu, Yuandong Cyrus
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)