@inproceedings{DBLP:conf/cpp/BlazyMP15,
  author    = {Sandrine Blazy and
               Andr{\'{e}} Oliveira Maroneze and
               David Pichardie},
  title     = {Verified Validation of Program Slicing},
  booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
               {CPP} 2015, Mumbai, India, January 15-17, 2015},
  pages     = {109--117},
  year      = {2015},
  crossref  = {DBLP:conf/cpp/2015},
  url       = {https://doi.org/10.1145/2676724.2693169},
  doi       = {10.1145/2676724.2693169},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/BlazyMP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"HPjr8SpG2CPiRCrcX","bibbaseid":"blazy-maroneze-pichardie-verifiedvalidationofprogramslicing-2015","downloads":0,"creationDate":"2019-02-19T13:31:04.714Z","title":"Verified Validation of Program Slicing","author_short":["Blazy, S.","Maroneze, A. O.","Pichardie, D."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.uni-trier.de/pers/tb2/b/Blazy:Sandrine.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sandrine"],"propositions":[],"lastnames":["Blazy"],"suffixes":[]},{"firstnames":["André","Oliveira"],"propositions":[],"lastnames":["Maroneze"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Pichardie"],"suffixes":[]}],"title":"Verified Validation of Program Slicing","booktitle":"Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, Mumbai, India, January 15-17, 2015","pages":"109–117","year":"2015","crossref":"DBLP:conf/cpp/2015","url":"https://doi.org/10.1145/2676724.2693169","doi":"10.1145/2676724.2693169","timestamp":"Tue, 06 Nov 2018 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/conf/cpp/BlazyMP15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cpp/BlazyMP15,\n author = {Sandrine Blazy and\n Andr{\\'{e}} Oliveira Maroneze and\n David Pichardie},\n title = {Verified Validation of Program Slicing},\n booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,\n {CPP} 2015, Mumbai, India, January 15-17, 2015},\n pages = {109--117},\n year = {2015},\n crossref = {DBLP:conf/cpp/2015},\n url = {https://doi.org/10.1145/2676724.2693169},\n doi = {10.1145/2676724.2693169},\n timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/conf/cpp/BlazyMP15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Blazy, S.","Maroneze, A. O.","Pichardie, D."],"key":"DBLP:conf/cpp/BlazyMP15","id":"DBLP:conf/cpp/BlazyMP15","bibbaseid":"blazy-maroneze-pichardie-verifiedvalidationofprogramslicing-2015","role":"author","urls":{"Paper":"https://doi.org/10.1145/2676724.2693169"},"downloads":0,"html":""},"search_terms":["verified","validation","program","slicing","blazy","maroneze","pichardie"],"keywords":[],"authorIDs":[],"dataSources":["dFq2BpHTjvGdGdpXC"]}