@inproceedings{ dblp1794660,
  title = {Static Analysis of Programs with Imprecise Probabilistic Inputs},
  author = {Assalé Adjé and Olivier Bouissou and Jean Goubault-Larrecq and Eric Goubault and Sylvie Putot},
  author_short = {Adjé, A. and Bouissou, O. and Goubault-Larrecq, J. and Goubault, E. and Putot, S.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2013},
  key = {dblp1794660},
  id = {dblp1794660},
  biburl = {http://www.dblp.org/rec/bibtex/conf/vstte/AdjeBGGP13},
  url = {http://dx.doi.org/10.1007/978-3-642-54108-7_2},
  conference = {VSTTE},
  pages = {22-47},
  text = {VSTTE 2013:22-47},
  booktitle = {Proceedings of Verified Software: Theories, Tools, Experiments (VSTTE)}
}

{"_id":{"_str":"54228523c6071b817c00023a"},"__v":0,"authorIDs":[],"author_short":["Adjé, A.","Bouissou, O.","Goubault-Larrecq, J.","Goubault, E.","Putot, S."],"bibbaseid":"adj-bouissou-goubaultlarrecq-goubault-putot-staticanalysisofprogramswithimpreciseprobabilisticinputs-2013","bibdata":{"downloads":0,"urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-54108-7_2"},"role":"author","bibbaseid":"adj-bouissou-goubaultlarrecq-goubault-putot-staticanalysisofprogramswithimpreciseprobabilisticinputs-2013","year":"2013","url":"http://dx.doi.org/10.1007/978-3-642-54108-7_2","type":"inproceedings","title":"Static Analysis of Programs with Imprecise Probabilistic Inputs","text":"VSTTE 2013:22-47","pages":"22-47","key":"dblp1794660","id":"dblp1794660","conference":"VSTTE","booktitle":"Proceedings of Verified Software: Theories, Tools, Experiments (VSTTE)","biburl":"http://www.dblp.org/rec/bibtex/conf/vstte/AdjeBGGP13","bibtype":"inproceedings","bibtex":"@inproceedings{ dblp1794660,\n title = {Static Analysis of Programs with Imprecise Probabilistic Inputs},\n author = {Assalé Adjé and Olivier Bouissou and Jean Goubault-Larrecq and Eric Goubault and Sylvie Putot},\n author_short = {Adjé, A. and Bouissou, O. and Goubault-Larrecq, J. and Goubault, E. and Putot, S.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2013},\n key = {dblp1794660},\n id = {dblp1794660},\n biburl = {http://www.dblp.org/rec/bibtex/conf/vstte/AdjeBGGP13},\n url = {http://dx.doi.org/10.1007/978-3-642-54108-7_2},\n conference = {VSTTE},\n pages = {22-47},\n text = {VSTTE 2013:22-47},\n booktitle = {Proceedings of Verified Software: Theories, Tools, Experiments (VSTTE)}\n}","author_short":["Adjé, A.","Bouissou, O.","Goubault-Larrecq, J.","Goubault, E.","Putot, S."],"author":["Adjé, Assalé","Bouissou, Olivier","Goubault-Larrecq, Jean","Goubault, Eric","Putot, Sylvie"]},"bibtype":"inproceedings","biburl":"https://sites.google.com/site/assaleadje/publications-talks/assalebib.bib?attredirects=0&d=1","creationDate":"2014-09-24T08:47:31.417Z","downloads":0,"keywords":[],"search_terms":["static","analysis","programs","imprecise","probabilistic","inputs","adjé","bouissou","goubault-larrecq","goubault","putot"],"title":"Static Analysis of Programs with Imprecise Probabilistic Inputs","year":2013,"dataSources":["aMe6NXEFs45rmHQnK"]}