BibTeX record conf/sigmod/ChuLWCS17

download as .bib file

@inproceedings{DBLP:conf/sigmod/ChuLWCS17,
  author       = {Shumo Chu and
                  Daniel Li and
                  Chenglong Wang and
                  Alvin Cheung and
                  Dan Suciu},
  editor       = {Semih Salihoglu and
                  Wenchao Zhou and
                  Rada Chirkova and
                  Jun Yang and
                  Dan Suciu},
  title        = {Demonstration of the Cosette Automated {SQL} Prover},
  booktitle    = {Proceedings of the 2017 {ACM} International Conference on Management
                  of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017},
  pages        = {1591--1594},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3035918.3058728},
  doi          = {10.1145/3035918.3058728},
  timestamp    = {Mon, 05 Feb 2024 20:26:57 +0100},
  biburl       = {https://dblp.org/rec/conf/sigmod/ChuLWCS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics