Context14491
Download triplesrdf:type | qkg:Context |
so:source | http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF |
qkg:contextText | Dijkstra (1970) "Notes On Structured Programming" (EWD249), Section 3 ("On The Reliability of Mechanisms"), corollary at the end. (en) |
Property | Object |
---|
Triples where Context14491 is the object (without rdf:type)
qkg:Mention29670 | qkg:hasContext |
Subject | Property |
---|