%0 Conference Paper %1 conf/ecoop/NavarroO22 %A Navarro, Marcelo %A Olmedo, Federico %B ECOOP %D 2022 %E Ali, Karim %E Vitek, Jan %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 34:1-34:2 %T Slicing of Probabilistic Programs Based on Specifications (Extended Abstract). %U http://dblp.uni-trier.de/db/conf/ecoop/ecoop2022.html#NavarroO22 %V 222 %@ 978-3-95977-225-9

@inproceedings{conf/ecoop/NavarroO22, added-at = {2022-06-23T00:00:00.000+0200}, author = {Navarro, Marcelo and Olmedo, Federico}, biburl = {https://www.bibsonomy.org/bibtex/2ebbe3ba7a6287ec41e351da05ae9ab23/dblp}, booktitle = {ECOOP}, crossref = {conf/ecoop/2022}, editor = {Ali, Karim and Vitek, Jan}, ee = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.34}, interhash = {4509fdc7b06a52f337099a11e88e3bab}, intrahash = {ebbe3ba7a6287ec41e351da05ae9ab23}, isbn = {978-3-95977-225-9}, keywords = {dblp}, pages = {34:1-34:2}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:40:24.000+0200}, title = {Slicing of Probabilistic Programs Based on Specifications (Extended Abstract).}, url = {http://dblp.uni-trier.de/db/conf/ecoop/ecoop2022.html#NavarroO22}, volume = 222, year = 2022 }