Analysing Parallel Complexity of Term Rewriting

von Baudon, Thais
Veröffentlicht in LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation (2022)

Data Abstraction: A General Framework to Handle Program Verification of Data Structures

von Braine, Julien
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)