2024W

• Program Analysis / 184.703 / VU

• With Biabduction towards Memory Safety across the Rust-C-FFI / Sextl, F. (2024, September 17). With Biabduction towards Memory Safety across the Rust-C-FFI [Presentation]. Doctoral Symposium, TU Wien, Austria. http://hdl.handle.net/20.500.12708/204201

• Join operators for bi-abductive analysis of low-level code / Rysavy, L. (2024). Join operators for bi-abductive analysis of low-level code [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.119373
  Download: PDF (1.3 MB)