Talks and Poster Presentations (with Proceedings-Entry):

I. Radicek, G. Barthe, M. Gaboardi, D. Garg, F. Zuleger:
"Monadic refinements for relational cost analysis";
Talk: 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Los Angeles; 2018-01-10 - 2018-01-12; in: "Proceedings of the ACM on Programming Languages", ACM Digital Library, New York, NY, USA (2018), 1 - 32.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.