Pages that link to "Item:Q5387908"
From MaRDI portal
The following pages link to Sequential, Parallel, and Quantified Updates of First-Order Structures (Q5387908):
Displayed 4 items.
- Integration of a security type system into a program logic (Q935469) (← links)
- Predicate Abstraction in a Program Logic Calculus (Q3605465) (← links)
- Could We Have Chosen a Better Loop Invariant or Method Contract? (Q3637252) (← links)
- Verification by Parallelization of Parametric Code (Q5426003) (← links)