Ezgi Çiçek, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Jan Hoffmann 0002
Relational cost analysis
POPL, 2017.
@inproceedings{POPL-2017-CicekBG0H,
author = "Ezgi Çiçek and Gilles Barthe and Marco Gaboardi and Deepak Garg 0001 and Jan Hoffmann 0002",
booktitle = "{Proceedings of the 44th Symposium on Principles of Programming Languages}",
isbn = "978-1-4503-4660-3",
pages = "316--329",
publisher = "{ACM}",
title = "{Relational cost analysis}",
year = 2017,
}