Published May 24, 2022
| Version v3
Conference paper
Open
Safe Couplings: Coupled Refinement Types
Description
Artifact in support of the "Safe Couplings: Coupled Refinement Types" paper.
Files
Files
(2.1 GB)
Name | Size | Download all |
---|---|---|
md5:1c744f960c1d8a5020912193b2c379a7
|
2.0 GB | Download |
md5:5cff35710abf4e416995319fbacaf321
|
1.1 MB | Download |