Pages that link to "Item:Q672051"
From MaRDI portal
The following pages link to Using induction and rewriting to verify and complete parameterized specifications (Q672051):
Displayed 3 items.
The following pages link to Using induction and rewriting to verify and complete parameterized specifications (Q672051):
Displayed 3 items.