BibTeX record conf/mpc/DongolGS15

download as .bib file

@inproceedings{DBLP:conf/mpc/DongolGS15,
  author    = {Brijesh Dongol and
               Victor B. F. Gomes and
               Georg Struth},
  title     = {A Program Construction and Verification Tool for Separation Logic},
  booktitle = {Mathematics of Program Construction - 12th International Conference,
               {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
               Proceedings},
  pages     = {137--158},
  year      = {2015},
  crossref  = {DBLP:conf/mpc/2015},
  url       = {https://doi.org/10.1007/978-3-319-19797-5\_7},
  doi       = {10.1007/978-3-319-19797-5\_7},
  timestamp = {Sun, 04 Jun 2017 10:07:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/DongolGS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2015,
  editor    = {Ralf Hinze and
               Janis Voigtl{\"{a}}nder},
  title     = {Mathematics of Program Construction - 12th International Conference,
               {MPC} 2015, K{\"{o}}nigswinter, Germany, June 29 - July 1, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9129},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19797-5},
  doi       = {10.1007/978-3-319-19797-5},
  isbn      = {978-3-319-19796-8},
  timestamp = {Mon, 22 May 2017 17:11:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier