Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Hoare_logic> . }
Showing items 1 to 9 of
9
with 100 items per page.
- Tony_Hoare knownFor Hoare_logic.
- Hoare wikiPageDisambiguates Hoare_logic.
- Floyd-Hoare_logic wikiPageRedirects Hoare_logic.
- Hoare_calculus wikiPageRedirects Hoare_logic.
- Hoare_rules wikiPageRedirects Hoare_logic.
- Hoare_triple wikiPageRedirects Hoare_logic.
- Midcondition wikiPageRedirects Hoare_logic.
- Floyd–Hoare_logic wikiPageRedirects Hoare_logic.
- Hoare_logic primaryTopic Hoare_logic.