Tomás Fiedor, Lukás Holík, Adam Rogalewicz, Moritz Sinn, Tomás Vojnar, Florian Zuleger
From Shapes to Amortized Complexity
VMCAI, 2018.
@inproceedings{VMCAI-2018-FiedorHRSVZ,
author = "Tomás Fiedor and Lukás Holík and Adam Rogalewicz and Moritz Sinn and Tomás Vojnar and Florian Zuleger",
booktitle = "{Proceedings of the 19th International Conference on Verification, Model Checking and Abstract Interpretation}",
doi = "10.1007/978-3-319-73721-8_10",
isbn = "['978-3-319-73720-1', '978-3-319-73721-8']",
pages = "205--225",
publisher = "{Springer}",
title = "{From Shapes to Amortized Complexity}",
year = 2018,
}
Tags:
