Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Program_derivation> }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Edsger_W._Dijkstra knownFor Program_derivation.
- Bird–Meertens_formalism wikiPageWikiLink Program_derivation.
- Correctness_(computer_science) wikiPageWikiLink Program_derivation.
- Design_by_contract wikiPageWikiLink Program_derivation.
- Edsger_W._Dijkstra wikiPageWikiLink Program_derivation.
- Formal_verification wikiPageWikiLink Program_derivation.
- Proof-carrying_code wikiPageWikiLink Program_derivation.
- Xmonad wikiPageWikiLink Program_derivation.
- Edsger_W._Dijkstra knownFor Program_derivation.
- Program_derivation primaryTopic Program_derivation.