Pages that link to "Item:Q5492967"

The following pages link to Formal Methods in Computer-Aided Design (Q5492967):

Displaying 2 items.

• A mechanical analysis of program verification strategies (Q928673) (← links)
• Integrating external deduction tools with ACL2 (Q1006728) (← links)