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 Wed Jul 3 05:25:18 2024 CEST.