Formal framework for reasoning about the precision of dynamic analysis
From MaRDI portal
Publication:2233534
DOI10.1007/978-3-030-65474-0_9zbMath1474.68046OpenAlexW3120011499MaRDI QIDQ2233534
Mila Dalla Preda, Niccoló Marastoni, Roberto Giacobazzi
Publication date: 18 October 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-65474-0_9
Cites Work
This page was built for publication: Formal framework for reasoning about the precision of dynamic analysis