Dorel Lucanu -

Not registered as user yet

Name:Dorel Lucanu

Contributions

PERR 2019	Author of Semantics-Based Proofs of Equivalence for Functions with Accumulators within the PERR-track
SLE 2013	Author of A Generic Framework for Symbolic Execution within the Research Papers-track