%0 Conference Paper %1 conf/gttse/DwyerFGGPV15 %A Dwyer, Matthew B. %A Filieri, Antonio %A Geldenhuys, Jaco %A Gerrard, Mitchell J. %A Pasareanu, Corina S. %A Visser, Willem %B GTTSE %D 2015 %E Cunha, Jácome %E Fernandes, João Paulo %E Lämmel, Ralf %E Saraiva, João %E Zaytsev, Vadim %I Springer %K dblp %P 1-25 %T Probabilistic Program Analysis. %U http://dblp.uni-trier.de/db/conf/gttse/gttse2015.html#DwyerFGGPV15 %V 10223 %@ 978-3-319-60074-1

@inproceedings{conf/gttse/DwyerFGGPV15, added-at = {2022-04-09T00:00:00.000+0200}, author = {Dwyer, Matthew B. and Filieri, Antonio and Geldenhuys, Jaco and Gerrard, Mitchell J. and Pasareanu, Corina S. and Visser, Willem}, biburl = {https://www.bibsonomy.org/bibtex/222ffa886fb5610fa1312fa0404e8211d/dblp}, booktitle = {GTTSE}, crossref = {conf/gttse/2015}, editor = {Cunha, Jácome and Fernandes, João Paulo and Lämmel, Ralf and Saraiva, João and Zaytsev, Vadim}, ee = {https://doi.org/10.1007/978-3-319-60074-1_1}, interhash = {268dec20057fc3f00b4fcde20c2710ae}, intrahash = {22ffa886fb5610fa1312fa0404e8211d}, isbn = {978-3-319-60074-1}, keywords = {dblp}, pages = {1-25}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:49:10.000+0200}, title = {Probabilistic Program Analysis.}, url = {http://dblp.uni-trier.de/db/conf/gttse/gttse2015.html#DwyerFGGPV15}, volume = 10223, year = 2015 }