Marinela Parovic -

Not registered as user yet

Name: Marinela Parovic

Affiliation: University of Texas at Austin

Contributions

SPLASH 2020	Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track
ASE 2019	Author of Mutation Analysis for Coq within the Research Papers-track