Pages that link to "Item:Q1225928"
From MaRDI portal
The following pages link to Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare (Q1225928):
Displayed 3 items.
The following pages link to Remarks on 'Program proving: Jumps and functions' by M. Clint and C.A.R. Hoare (Q1225928):
Displayed 3 items.