Auflistung nach Schlagwort "Ranged Program Analysis"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragRanged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification(Software Engineering 2024 (SE 2024), 2024) Haltermann, Jan; Jakobs, Marie-Christine; Richter, Cedric; Wehrheim, Heike