ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Federico Olmedo

Registered user since Tue 28 Jan 2020

Name:Federico Olmedo
Country:Chile
Affiliation:University of Chile & IMFD Chile
Research interests:Program verification, probabilistic programming, language-based security

Contributions

ECOOP 2022 Slicing of Probabilistic Programs based on Specifications
Show activities from other conferences

Using general profile