Artikel in einem Konferenzbericht,
Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.
B. Bernardo, R. Cauderlier, Z. Hu, B. Pesin, und J. Tesson.FM Workshops (1), Volume 12232 von Lecture Notes in Computer Science, Seite 368-379. Springer, (2019)
Metadaten
- BibTeX-Schlüssel
- conf/fm/BernardoCHPT19
- Eintragstyp
- inproceedings
- Buchtitel
- FM Workshops (1)
- Jahr
- 2019
- Seiten
- 368-379
- Verlag
- Springer
- Reihe
- Lecture Notes in Computer Science
- Band
- 12232
- BibTeX-Querverweis
- conf/fm/2019-w1
- ee
- https://doi.org/10.1007/978-3-030-54994-7_28
- isbn
- 978-3-030-54994-7
- URL
- http://dblp.uni-trier.de/db/conf/fm/fm2019w-1.html#BernardoCHPT19
Tags
Nutzer
Kommentare und Rezensionenanzeigen / verbergen
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -%0 Conference Paper
%1 conf/fm/BernardoCHPT19
%A Bernardo, Bruno
%A Cauderlier, Raphaël
%A Hu, Zhenlei
%A Pesin, Basile
%A Tesson, Julien
%B FM Workshops (1)
%D 2019
%E Sekerinski, Emil
%E Moreira, Nelma
%E Oliveira, José N.
%E Ratiu, Daniel
%E Guidotti, Riccardo
%E Farrell, Marie
%E Luckcuck, Matt
%E Marmsoler, Diego
%E Campos, José Creissac
%E Astarte, Troy
%E Gonnord, Laure
%E Cerone, Antonio
%E Couto, Luis
%E Dongol, Brijesh
%E Kutrib, Martin
%E Monteiro, Pedro
%E Delmas, David
%I Springer
%K dblp
%P 368-379
%T Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.
%U http://dblp.uni-trier.de/db/conf/fm/fm2019w-1.html#BernardoCHPT19
%V 12232
%@ 978-3-030-54994-7
@inproceedings{conf/fm/BernardoCHPT19,
added-at = {2020-08-17T00:00:00.000+0200},
author = {Bernardo, Bruno and Cauderlier, Raphaël and Hu, Zhenlei and Pesin, Basile and Tesson, Julien},
biburl = {https://www.bibsonomy.org/bibtex/284f9fe897c9420c757d683fb9ad2cf26/dblp},
booktitle = {FM Workshops (1)},
crossref = {conf/fm/2019-w1},
editor = {Sekerinski, Emil and Moreira, Nelma and Oliveira, José N. and Ratiu, Daniel and Guidotti, Riccardo and Farrell, Marie and Luckcuck, Matt and Marmsoler, Diego and Campos, José Creissac and Astarte, Troy and Gonnord, Laure and Cerone, Antonio and Couto, Luis and Dongol, Brijesh and Kutrib, Martin and Monteiro, Pedro and Delmas, David},
ee = {https://doi.org/10.1007/978-3-030-54994-7_28},
interhash = {065608164a5e8b327f1846ed1ae2997b},
intrahash = {84f9fe897c9420c757d683fb9ad2cf26},
isbn = {978-3-030-54994-7},
keywords = {dblp},
pages = {368-379},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T13:22:44.000+0200},
title = {Mi-Cho-Coq, a Framework for Certifying Tezos Smart Contracts.},
url = {http://dblp.uni-trier.de/db/conf/fm/fm2019w-1.html#BernardoCHPT19},
volume = 12232,
year = 2019
}