Ivan Radicek
AuthID: R-00K-HJB
1
TITLE: Monadic refinements for relational cost analysis
AUTHORS: Ivan Radicek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Florian Zuleger;
PUBLISHED: 2018, SOURCE: Proc. ACM Program. Lang., VOLUME: 2, ISSUE: POPL
AUTHORS: Ivan Radicek; Gilles Barthe ; Marco Gaboardi; Deepak Garg; Florian Zuleger;
PUBLISHED: 2018, SOURCE: Proc. ACM Program. Lang., VOLUME: 2, ISSUE: POPL
INDEXED IN: 
DBLP
DBLP