Pages that link to "Item:Q1037397"
From MaRDI portal
The following pages link to Automated verification of refinement laws (Q1037397):
Displaying 5 items.
- An algebraic approach to computations with progress (Q299188) (← links)
- Algebraic separation logic (Q549676) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Dual choice and iteration in an abstract algebra of action (Q694489) (← links)
- Automatic verification of differential characteristics: application to reduced Gimli (Q2102064) (← links)