Talks and Poster Presentations (with Proceedings-Entry):
L. Leutgeb, G. Moser, F. Zuleger:
"ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures";
Talk: International Conference on Computer Aided Verification (CAV),
virtuell;
2022-07-20
- 2022-07-23; in: "CAV 2021: Computer Aided Verification",
(2022),
99
- 122.
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_303558.pdf
Created from the Publication Database of the Vienna University of Technology.