Published August 7, 2020
| Version v1
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
Files
Files
(1.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:532b4e75bdcffe4c883aecf61371d373
|
1.1 GB | Download |