BibTeX record conf/jfla/HiraiA14

download as .bib file

@inproceedings{DBLP:conf/jfla/HiraiA14,
  author    = {Yoichi Hirai and
               Reynald Affeldt},
  title     = {What could Coq do for Database Software? - {A} Progress Report},
  booktitle = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
               France, January 8-11, 2014},
  pages     = {33--48},
  year      = {2014},
  crossref  = {DBLP:conf/jfla/2014},
  timestamp = {Fri, 28 Nov 2014 14:17:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jfla/HiraiA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jfla/2014,
  editor    = {Christine Tasson and
               David Baelde},
  title     = {25. Journ{\'{e}}es francophones des langages applicatifs, Fr{\'{e}}jus,
               France, January 8-11, 2014},
  year      = {2014},
  timestamp = {Fri, 28 Nov 2014 14:16:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jfla/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics