Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dorel Lucanu
conf.researchr.org general profile
ETAPS 2019 profile
SPLASH 2013 profile
Not registered as user
Name:
Dorel Lucanu
Contributions
2019
PERR
Author of Semantics-Based Proofs of Equivalence for Functions with Accumulators within the PERR-track
2013
SLE
Author of A Generic Framework for Symbolic Execution within the Research Papers-track
Share
x
Mon 27 Oct 00:14