BibTeX record journals/corr/abs-1811-09014

download as .bib file

@proceedings{DBLP:journals/corr/abs-1811-09014,
  editor    = {Paolo Masci and
               Rosemary Monahan and
               Virgile Prevosto},
  title     = {Proceedings 4th Workshop on Formal Integrated Development Environment,
               F-IDE@FLoC 2018, Oxford, England, 14 July 2018},
  series    = {{EPTCS}},
  volume    = {284},
  year      = {2018},
  url       = {https://doi.org/10.4204/EPTCS.284},
  doi       = {10.4204/EPTCS.284},
  timestamp = {Wed, 25 Sep 2019 17:52:34 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1811-09014.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics