• Sign in
  • Sign up
conf.researchr.org / Marinela Parovic
  • ASE 2019 profile
  • SPLASH 2020 profile

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

Share
xSun 7 Mar 15:36
using conf.researchr.org (v1.43.2)
Support page
Sign Up