Pages that link to "Item:Q5388976"
From MaRDI portal
The following pages link to The Correctness-by-Construction Approach to Programming (Q5388976):
Displayed 4 items.
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- Information Flow Control-by-Construction for an Object-Oriented Language (Q6111610) (← links)
- Flexible Correct-by-Construction Programming (Q6135766) (← links)