Pages that link to "Item:Q5307482"
From MaRDI portal
The following pages link to Pointers and Records in the Unifying Theories of Programming (Q5307482):
Displayed 5 items.
- Test-data generation for control coverage by proof (Q736805) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Sound refactorings (Q2266944) (← links)
- Mechanical Reasoning about Families of UTP Theories (Q5179366) (← links)
- A Theory of Pointers for the UTP (Q5505599) (← links)