Publications
Filter by
Open menu
2 results for
Francisco Corella
Automated Verification of Behavioral Equivalence for Microprocessors
Francisco Corella
1994
IEEE TC
What holds in a context?
F. Corella
1993
Journal of Automated Reasoning