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),
- 2022-07-23; in: "CAV 2021: Computer Aided Verification",
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.