Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Correctness_of_computer_programs> }
Showing triples 1 to 5 of
5
with 100 triples per page.
- Axiomatic_semantics wikiPageWikiLink Correctness_of_computer_programs.
- Data_type wikiPageWikiLink Correctness_of_computer_programs.
- Hoare_logic wikiPageWikiLink Correctness_of_computer_programs.
- Static_program_analysis wikiPageWikiLink Correctness_of_computer_programs.
- Correctness_of_computer_programs primaryTopic Correctness_of_computer_programs.