Reasoning about Smart Contracts via LTL Encoding (Q117344946)
Jump to navigation
Jump to search
scientific paper published in CEUR-WS Volume 3194
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning about Smart Contracts via LTL Encoding |
scientific paper published in CEUR-WS Volume 3194 |
Statements
Reasoning about Smart Contracts via LTL Encoding (English)
0 references