Cita APA (7a ed.)

Tempel, S., Brandt, T., Lüth, C., Dietrich, C., & Drechsler, R. (2024). Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics.

Cita Chicago Style (17a ed.)

Tempel, Sören, Tobias Brandt, Christoph Lüth, Christian Dietrich, y Rolf Drechsler. Accurate and Extensible Symbolic Execution of Binary Code Based on Formal ISA Semantics. 2024.

Cita MLA (9a ed.)

Tempel, Sören, et al. Accurate and Extensible Symbolic Execution of Binary Code Based on Formal ISA Semantics. 2024.