Data Structure Analysis for Binaries

Lecture notes in computer science 2026

View at publisher
Authors: Sadra Bayat Tork, Nicholas Coughlin, Alicia Michael, James Tobler, Kirsten Winter
DOI: 10.1007/978-3-032-22749-2_12
Cited by: 1
References: 21

Fields of Study & Subjects

Logic programming and type systems Music Technology and Sound Studies Formal Methods in Verification

Publication details

Journal / source
Lecture notes in computer science
Publisher
Springer Nature Switzerland
Pages
235–254
Publication date
1 January 2026
Language
EN