Disambiguation evidence for An Axiomatic Basis for Computer Programming via surface form
"An Axiomatic Basis for Computer Programming"
Triples (1)
Triples where some other subject referred to this entity
as "An Axiomatic Basis for Computer Programming".
Hoare logic
→
describedIn
→
"An Axiomatic Basis for Computer Programming"
ⓘ
↳ resolves to An Axiomatic Basis for Computer Programming