Pages that link to "Item:Q918219"
From MaRDI portal
The following pages link to Types and invariants in the refinement calculus (Q918219):
Displaying 10 items.
- Combining angels, demons and miracles in program specifications (Q1199826) (← links)
- A formal model of real-time program compilation (Q1603710) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- A theory for execution-time derivation in real-time programs (Q2576947) (← links)
- Canonical regular types (Q2909144) (← links)
- (Q3105096) (← links)
- (Q4234966) (← links)
- (Q4457447) (← links)
- (Q4581178) (← links)
- (Q4681362) (← links)