tferariu/agda2plinth: FMBC'25
Fuente:
Zenodo
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Recurso digital |
| Publié: |
Zenodo
2025
|
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866901395678953472 |
|---|---|
| author | Orestis Melkonian tferariu |
| author_facet | Orestis Melkonian tferariu |
| contents | <p>Supplementary material for the 2025 FMBC paper "Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano".</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_15118668 |
| institution | Zenodo |
| language | |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | tferariu/agda2plinth: FMBC'25 Orestis Melkonian tferariu <p>Supplementary material for the 2025 FMBC paper "Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano".</p> |
| title | tferariu/agda2plinth: FMBC'25 |
| url | https://doi.org/10.5281/zenodo.15118668 |