Ҫiҫek, Ezgi Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Garg, Deepak Group D. Garg, Max Planck Institute for Software Systems, Max Planck Society;
Ҫiҫek, E., Barthe, G., Gaboardi, M., Garg, D., & Hoffmann, J. (2017). Relational Cost Analysis. In G. Castagna, & A. D. Gordon (Eds.), POPL'17 (pp. 316-329). New York, NY: ACM. doi:10.1145/3093333.3009858.