Geeks
remi-delmas-3000
/
stateful-contracts
Modelling stateful contracts in CBMC
Primary Language
C
stateful-contracts GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
stateful-contracts
Modelling stateful contracts in CBMC