Published June 27, 2025
| Version v1
Software
Open
A Refinement Methodology for Distributed Programs in Rust (artefact)
Files
oopsla552-artefact-amd64.zip
Files
(3.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:5ce144a862977e1db0370960209033ca
|
3.3 GB | Preview Download |
Additional details
Software
- Programming language
- Rust