Programming languages and systems : 21st Asian symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings

Veröffentlicht 2023

An SMT Encoding of LLVM’s Memory Model for Bounded Translation Validation

von Lee, Juneyoung
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)