Pages that link to "Item:Q1346768"
From MaRDI portal
The following pages link to The weakest precondition calculus: Recursion and duality (Q1346768):
Displaying 5 items.
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- The weakest precondition calculus: Recursion and duality (Q1346768) (← links)
- Coordinating action systems (Q1592481) (← links)
- A fixpoint theory for non-monotonic parallelism (Q1884887) (← links)
- Symbolic execution formally explained (Q1982639) (← links)
