Send email Copy Email Address
2018

Monadic refinements for relational cost analysis

Tags
-
Date published

2018

Date last modified

2018-02-23 09:11:20

Authors
  • Ivan Radicek
  • Gilles Barthe
  • Marco Gaboardi
  • Deepak Garg
  • Florian Zuleger
Download