Marcelo Navarro

dblp:202/5383 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2022
—ORCID · unresolved

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021
YearPublicationVenuePosition
2022 Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)
Marcelo Navarro, Federico Olmedo
ECOOP1
2022 Slicing of probabilistic programs based on specifications
Marcelo Navarro, Federico Olmedo
Sci. Comput. Program.1