Concepedia
Statistics
Publications
1
Citations
16
H-Index
Active since
2023
Caroline Cronjäger is an author specializing in termination analysis, computer science, and systems programming.
Publications per year
2023–2023
Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding
Petar Maksimović, Caroline Cronjäger, Andreas Lööw et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2023 · 16 citations · Full text
Computing, Computer Science, Formal Methods +14
1–1 of 1