KIT | KIT-Bibliothek | Impressum | Datenschutz

Specifying Framing Conditions for Smart Contracts

Beckert, Bernhard; Schiffl, Jonas



Originalveröffentlichung
DOI: 10.1007/978-3-030-61467-6_4
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2020
Sprache Englisch
Identifikator ISBN: 978-3-030-61466-9
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000127255
Erschienen in Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III. Ed.: T. Margaria
Veranstaltung 9th International Symposium on Leveraging Applications of Formal Methods (2020), Rhodos, Griechenland, 20.10.2020 – 30.10.2020
Verlag Springer Verlag
Seiten 43-59
Serie Lecture notes in computer science (LNCS) ; 12478
Bemerkung zur Veröffentlichung Die Veranstaltung „9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020“ wurde aufgrund der Corona-Pandemie abgesagt.
Vorab online veröffentlicht am 27.10.2020
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page