Pages that link to "Item:Q3098056"
From MaRDI portal
The following pages link to Algebra of Monotonic Boolean Transformers (Q3098056):
Displaying 4 items.
- An algebraic approach to multirelations and their properties (Q516032) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- A Relation-Algebraic Approach to Multirelations and Predicate Transformers (Q2941166) (← links)
- A Program Construction and Verification Tool for Separation Logic (Q2941173) (← links)