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 = {Tue, 04 Dec 2018 16:00:11 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1811-09014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier