Number of items: 1.
Article
Radicek, Ivan and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Zuleger, Florian
(2018)
Monadic refinements for relational cost analysis.
PACMPL, 2 (POPL).
36:1–36:32.
This list was generated on Fri Sep 29 19:07:13 2023 CEST.