Published August 7, 2020
| Version v2
Software
Open
Statically Verified Refinements for Multiparty Protocols
- 1. Imperial College London
- 2. University of Hertfordshire
- 3. Brunel University London
Description
Please look at the README on https://github.com/sessionstar/oopsla20-artifact/blob/master/README.md
Notes
Added licence and readme to the artifact, no substantial change from the previous version.
Files
Files
(1.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:8bbdbbba5994ab3cf8a91dd9854e6ab0
|
1.1 GB | Download |