| CSG ID | 1991 |
| Type | Official Publications: Book/Research Monograph/Proceedings |
| BibTeX Key | Knec24 |
| Author(s) | Markus Knecht |
| Title | A Robust Smart Contract Approach based on Substructural Types and On-Chain Code Verification |
| Publisher | Shaker |
| Publication Place | Aachen, Germany |
| Date | 1. October 2024 |