BibTeX record journals/jfrea/HarrisonUW16

download as .bib file

@article{DBLP:journals/jfrea/HarrisonUW16,
  author    = {John Harrison and
               Josef Urban and
               Freek Wiedijk},
  title     = {Preface: Twenty Years of the {QED} Manifesto},
  journal   = {J. Formalized Reasoning},
  volume    = {9},
  number    = {1},
  pages     = {1--2},
  year      = {2016}
}
maintained by Schloss Dagstuhl LZI at University of Trier