Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
I. Radicek, G. Barthe, M. Gaboardi, D. Garg, F. Zuleger:
"Monadic refinements for relational cost analysis";
Vortrag: 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018),
Los Angeles;
10.01.2018
- 12.01.2018; in: "Proceedings of the ACM on Programming Languages",
ACM Digital Library,
New York, NY, USA
(2018),
S. 1
- 32.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3158124
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_277564.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.