@article{DBLP:journals/darts/KeilT15,
  author    = {Matthias Keil and Peter Thiemann},
  title     = {TreatJS: Higher-Order Contracts for JavaScript (Artifact)},
  journal   = {{DARTS}},
  volume    = {1},
  number    = {1},
  pages     = {01:1--01:2},
  year      = {2015},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2015/5510},
  timestamp = {Fri, 04 Dec 2015 17:49:28 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/darts/KeilT15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}