Pages that link to "Item:Q918219"

The following pages link to Types and invariants in the refinement calculus (Q918219):

Displayed 3 items.

• Combining angels, demons and miracles in program specifications (Q1199826) ‎ (← links)
• A formal model of real-time program compilation (Q1603710) ‎ (← links)
• A theory for execution-time derivation in real-time programs (Q2576947) ‎ (← links)