Pages that link to "Item:Q3899467"
From MaRDI portal
The following pages link to Is Sometimes Ever Better Than Always? (Q3899467):
Displaying 2 items.
- Verifying programs by induction on their data structure: general format and applications (Q1050765) (← links)
- Sometime = always + recursion \(\equiv\) always. On the equivalence of the intermittent and invariant assertions methods for proving inevitability properties of programs (Q1071491) (← links)