8000 Release First Stable Release · runtimeverification/rdao-smc · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

First Stable Release

Latest
Latest
Compare
Choose a tag to compare
@malturki malturki released this 19 Nov 20:14
· 5 commits to master since this release
1.0
7c570ee

This is the first stable version of the specification, based on which the analysis reported in the technical report was performed.

Assets 2
Loading
0