
Publications of Federico Olmedo
(if a year does not appear in the list, it is because there are no records for that particular year)
Year 2022
1. |
Slicing of Probabilistic Programs based on Specifications.
Journal: Science of Computer Programming. Volume: 220. Pages: 102822. Date: 2022. Authors: Marcelo Navarro, Federico Olmedo |
![]() |