BibTeX record conf/iwpc/PetersonLD19

download as .bib file

@inproceedings{DBLP:conf/iwpc/PetersonLD19,
  author    = {Christina L. Peterson and
               Pierre LaBorde and
               Damian Dechev},
  title     = {CCSpec: a correctness condition specification tool},
  booktitle = {Proceedings of the 27th International Conference on Program Comprehension,
               {ICPC} 2019, Montreal, QC, Canada, May 25-31, 2019},
  pages     = {220--230},
  year      = {2019},
  crossref  = {DBLP:conf/iwpc/2019},
  url       = {https://doi.org/10.1109/ICPC.2019.00041},
  doi       = {10.1109/ICPC.2019.00041},
  timestamp = {Wed, 15 Jan 2020 18:09:51 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/PetersonLD19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwpc/2019,
  editor    = {Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
               Foutse Khomh and
               Federica Sarro},
  title     = {Proceedings of the 27th International Conference on Program Comprehension,
               {ICPC} 2019, Montreal, QC, Canada, May 25-31, 2019},
  publisher = {{IEEE} / {ACM}},
  year      = {2019},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/8797605/proceeding},
  isbn      = {978-1-7281-1519-1},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics