Publications

2 results for Francisco Corella

Automated Verification of Behavioral Equivalence for Microprocessors
- - Francisco Corella
- 1994
- IEEE TC
Paper
What holds in a context?
- - F. Corella
- 1993
- Journal of Automated Reasoning
Paper