Publications

Stats

Picture of Federico Olmedo

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
View reference page