@inproceedings{DBLP:conf/esop/BartheEGGHS18,
  author = {Gilles Barthe and Thomas Espitau and Marco Gaboardi and
Benjamin Gr{\'{e}}goire and Justin Hsu and
Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/esop/BartheEGGHS18.bib},
  booktitle = {Programming Languages and Systems - 27th European
Symposium on Programming, {ESOP} 2018, Held as Part
of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2018, Thessaloniki,
Greece, April 14-20, 2018, Proceedings},
  doi = {10.1007/978-3-319-89884-1\_5},
  editor = {Amal Ahmed},
  isbn = {978-3-319-89883-4},
  pages = {117--144},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},
  title = {An Assertion-Based Program Logic for Probabilistic
Programs},
  url = {https://doi.org/10.1007/978-3-319-89884-1\_5},
  volume = {10801},
  year = {2018}
}

{"_id":"J9LSowmSJPADJ4MRg","bibbaseid":"barthe-espitau-gaboardi-grgoire-hsu-strub-anassertionbasedprogramlogicforprobabilisticprograms-2018","downloads":1,"creationDate":"2018-06-18T01:27:56.363Z","title":"An Assertion-Based Program Logic for Probabilistic Programs","author_short":["Barthe, G.","Espitau, T.","Gaboardi, M.","Grégoire, B.","Hsu, J.","Strub, P."],"year":2018,"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gilles"],"propositions":[],"lastnames":["Barthe"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Espitau"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Gaboardi"],"suffixes":[]},{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Grégoire"],"suffixes":[]},{"firstnames":["Justin"],"propositions":[],"lastnames":["Hsu"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/esop/BartheEGGHS18.bib","booktitle":"Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings","doi":"10.1007/978-3-319-89884-1_5","editor":[{"firstnames":["Amal"],"propositions":[],"lastnames":["Ahmed"],"suffixes":[]}],"isbn":"978-3-319-89883-4","pages":"117–144","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Tue, 05 Jul 2022 08:30:25 +0200","title":"An Assertion-Based Program Logic for Probabilistic Programs","url":"https://doi.org/10.1007/978-3-319-89884-1\\_5","volume":"10801","year":"2018","bibtex":"@inproceedings{DBLP:conf/esop/BartheEGGHS18,\n author = {Gilles Barthe and Thomas Espitau and Marco Gaboardi and\nBenjamin Gr{\\'{e}}goire and Justin Hsu and\nPierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/esop/BartheEGGHS18.bib},\n booktitle = {Programming Languages and Systems - 27th European\nSymposium on Programming, {ESOP} 2018, Held as Part\nof the European Joint Conferences on Theory and\nPractice of Software, {ETAPS} 2018, Thessaloniki,\nGreece, April 14-20, 2018, Proceedings},\n doi = {10.1007/978-3-319-89884-1\\_5},\n editor = {Amal Ahmed},\n isbn = {978-3-319-89883-4},\n pages = {117--144},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {Tue, 05 Jul 2022 08:30:25 +0200},\n title = {An Assertion-Based Program Logic for Probabilistic\nPrograms},\n url = {https://doi.org/10.1007/978-3-319-89884-1\\_5},\n volume = {10801},\n year = {2018}\n}\n\n","author_short":["Barthe, G.","Espitau, T.","Gaboardi, M.","Grégoire, B.","Hsu, J.","Strub, P."],"editor_short":["Ahmed, A."],"key":"DBLP:conf/esop/BartheEGGHS18","id":"DBLP:conf/esop/BartheEGGHS18","bibbaseid":"barthe-espitau-gaboardi-grgoire-hsu-strub-anassertionbasedprogramlogicforprobabilisticprograms-2018","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-89884-1\\_5"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":1,"html":""},"search_terms":["assertion","based","program","logic","probabilistic","programs","barthe","espitau","gaboardi","grégoire","hsu","strub"],"keywords":[],"authorIDs":["EC8a7TQ86pYAoBS7y"],"dataSources":["q4vBTsWpxooqz6FoB"]}