engChen, MingshuaiKatoen, Joost-PieterKlinkenberg, LutzWinkler, TobiasDoes a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating FunctionsCham : Springer International Publishing, Lecture Notes in Computer Science 13371, 79-101 (2022). doi:10.1007/978-3-031-13185-1_5info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionComputer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir VizelComputer Aided Verification : 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part I / edited by Sharon Shoham, Yakir Vizel<br/>34. International Conference on Computer Aided Verification, CAV 2022, Haifa, Israel, 2022-08-07 - 2022-08-10Springer International Publishing2022info:eu-repo/semantics/openAccessDEhttps://publications.rwth-aachen.de/record/848175https://publications.rwth-aachen.de/search?p=id:%22RWTH-2022-05821%22Researchersinfo:eu-repo/semantics/altIdentifier/wos/WOS:000870304500005info:eu-repo/semantics/altIdentifier/isbn/978-3-031-13185-1info:eu-repo/semantics/altIdentifier/issn/1611-3349info:eu-repo/semantics/altIdentifier/doi/10.18154/RWTH-2022-05821info:eu-repo/semantics/altIdentifier/issn/0302-9743info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-13185-1_5