Auflistung nach Autor "Zuleger, Florian"
Anzeige der Dokumente 1-3 von 3
-
Empirical software metrics for benchmarking of verification tools
Demyanova, Yulia; Pani, Thomas; Veith, Helmut; Zuleger, Florian
67-68 -
Feedback generation for performance problems in introductory programming assignments
Zuleger, Florian; Radicek, Ivan; Gulwani, Sumit
49-50 -
A simple and scalable static analysis for bound analysis and amortized complexity analysis
Sinn, Moritz; Zuleger, Florian; Veith, Helmut
101-102