@inproceedings{DBLP:conf/birthday/Olmedo25,
  author       = {Federico Olmedo},
  title        = {Static Slicing for Probabilistic Programs: An Overview},
  booktitle    = {Principles of Verification: Cycling the Probabilistic Landscape -
                  Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th
                  Birthday, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15260},
  pages        = {155--178},
  publisher    = {Springer},
  year         = {2024},
  doi          = {10.1007/978-3-031-75783-9\_7}
}