Pages that link to "Item:Q918219"

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

Displaying 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)