@inproceedings{DBLP:conf/itp/BlazyDP15,
  author    = {Sandrine Blazy and
               Delphine Demange and
               David Pichardie},
  title     = {Validating Dominator Trees for a Fast, Verified Dominance Test},
  booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
               2015, Nanjing, China, August 24-27, 2015, Proceedings},
  pages     = {84--99},
  year      = {2015},
  crossref  = {DBLP:conf/itp/2015},
  url       = {https://doi.org/10.1007/978-3-319-22102-1\_6},
  doi       = {10.1007/978-3-319-22102-1\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itp/BlazyDP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"WBGvEep6dTLKuTJeJ","bibbaseid":"blazy-demange-pichardie-validatingdominatortreesforafastverifieddominancetest-2015","downloads":0,"creationDate":"2019-02-19T13:31:04.717Z","title":"Validating Dominator Trees for a Fast, Verified Dominance Test","author_short":["Blazy, S.","Demange, D.","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":["Delphine"],"propositions":[],"lastnames":["Demange"],"suffixes":[]},{"firstnames":["David"],"propositions":[],"lastnames":["Pichardie"],"suffixes":[]}],"title":"Validating Dominator Trees for a Fast, Verified Dominance Test","booktitle":"Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings","pages":"84–99","year":"2015","crossref":"DBLP:conf/itp/2015","url":"https://doi.org/10.1007/978-3-319-22102-1_6","doi":"10.1007/978-3-319-22102-1_6","timestamp":"Sun, 21 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/conf/itp/BlazyDP15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/itp/BlazyDP15,\n author = {Sandrine Blazy and\n Delphine Demange and\n David Pichardie},\n title = {Validating Dominator Trees for a Fast, Verified Dominance Test},\n booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}\n 2015, Nanjing, China, August 24-27, 2015, Proceedings},\n pages = {84--99},\n year = {2015},\n crossref = {DBLP:conf/itp/2015},\n url = {https://doi.org/10.1007/978-3-319-22102-1\\_6},\n doi = {10.1007/978-3-319-22102-1\\_6},\n timestamp = {Sun, 21 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/conf/itp/BlazyDP15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Blazy, S.","Demange, D.","Pichardie, D."],"key":"DBLP:conf/itp/BlazyDP15","id":"DBLP:conf/itp/BlazyDP15","bibbaseid":"blazy-demange-pichardie-validatingdominatortreesforafastverifieddominancetest-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-22102-1_6"},"downloads":0,"html":""},"search_terms":["validating","dominator","trees","fast","verified","dominance","test","blazy","demange","pichardie"],"keywords":[],"authorIDs":[],"dataSources":["dFq2BpHTjvGdGdpXC"]}