Travelled to:
1 × USA
Collaborated with:
D.R.Engler
Talks about:
practic (1) equival (1) effort (1) verif (1) real (1) code (1) low (1)
Person: David A. Ramos
DBLP: Ramos:David_A=
Contributed to:
Wrote 1 papers:
- CAV-2011-RamosE #equivalence #verification
- Practical, Low-Effort Equivalence Verification of Real Code (DAR, DRE), pp. 669–685.