%0 Conference Paper %1 conf/qest/VoogdJSSW23 %A Voogd, Erik %A Johnsen, Einar Broch %A Silva, Alexandra %A Susag, Zachary J. %A Wasowski, Andrzej %B QEST %D 2023 %E Jansen, Nils %E Tribastone, Mirco %I Springer %K dblp %P 329-345 %T Symbolic Semantics for Probabilistic Programs. %U http://dblp.uni-trier.de/db/conf/qest/qest2023.html#VoogdJSSW23 %V 14287 %@ 978-3-031-43835-6

@inproceedings{conf/qest/VoogdJSSW23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Voogd, Erik and Johnsen, Einar Broch and Silva, Alexandra and Susag, Zachary J. and Wasowski, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/279d28dbb4b54f634e66900a3ba1021b8/dblp}, booktitle = {QEST}, crossref = {conf/qest/2023}, editor = {Jansen, Nils and Tribastone, Mirco}, ee = {https://doi.org/10.1007/978-3-031-43835-6_23}, interhash = {2d5c7f5b9af39b4fbb03f0f5325fb923}, intrahash = {79d28dbb4b54f634e66900a3ba1021b8}, isbn = {978-3-031-43835-6}, keywords = {dblp}, pages = {329-345}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:39:20.000+0200}, title = {Symbolic Semantics for Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2023.html#VoogdJSSW23}, volume = 14287, year = 2023 }