Disambiguation evidence for Dijkstra weakest precondition calculus via surface form
"Dijkstra weakest precondition calculus"
Triples (2)
Triples where some other subject referred to this entity
as "Dijkstra weakest precondition calculus".
Hoare logic
→
relatedTo
→
"Dijkstra weakest precondition calculus"
ⓘ
↳ resolves to Dijkstra weakest precondition calculus
An Axiomatic Basis for Computer Programming
→
relatedConcept
→
"Dijkstra weakest precondition calculus"
ⓘ
↳ resolves to Dijkstra weakest precondition calculus