BibTeX record conf/fm/NielsenS19

• > Home > conf/fm/NielsenS19

@inproceedings{DBLP:conf/fm/NielsenS19,
  author       = {Jakob Botsch Nielsen and
                  Bas Spitters},
  editor       = {Emil Sekerinski and
                  Nelma Moreira and
                  Jos{\'{e}} N. Oliveira and
                  Daniel Ratiu and
                  Riccardo Guidotti and
                  Marie Farrell and
                  Matt Luckcuck and
                  Diego Marmsoler and
                  Jos{\'{e}} Creissac Campos and
                  Troy Astarte and
                  Laure Gonnord and
                  Antonio Cerone and
                  Luis Couto and
                  Brijesh Dongol and
                  Martin Kutrib and
                  Pedro Monteiro and
                  David Delmas},
  title        = {Smart Contract Interactions in Coq},
  booktitle    = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
                  October 7-11, 2019, Revised Selected Papers, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12232},
  pages        = {380--391},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-54994-7\_29},
  doi          = {10.1007/978-3-030-54994-7\_29},
  timestamp    = {Mon, 05 Feb 2024 20:31:40 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/NielsenS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}