Specifying Framing Conditions for Smart Contracts
Beckert, Bernhard
1; Schiffl, Jonas
1
1 Karlsruher Institut für Technologie (KIT)
1; Schiffl, Jonas
11 Karlsruher Institut für Technologie (KIT)
| 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 | Dimensions Scopus |