• Artifact for "A dynamic logic...
  • Bestand

Treffer: Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson"

Titel:
Artifact for "A dynamic logic for symbolic execution for the smart contract programming language Michelson"
Beteiligt:
Arvay, Barnabas (Verfasser); Thiemann, Peter (Verfasser) 
Körper­schaft:
Albert-Ludwigs-Universität Freiburg. Programmiersprachen (Mitwirkender)
Veröffent­licht:
Freiburg : Universität, 2024
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Schlagworte:
DOI:
10.6094/UNIFR/255176

Zusatz-Informationen

Zusatz-Funktionen