Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_methods_terminology> }
Showing triples 1 to 14 of
14
with 100 triples per page.
- Correctness_(computer_science) wikiPageWikiLink Category:Formal_methods_terminology.
- Guard_(computer_science) wikiPageWikiLink Category:Formal_methods_terminology.
- Partial_correctness wikiPageWikiLink Category:Formal_methods_terminology.
- Reification_(computer_science) wikiPageWikiLink Category:Formal_methods_terminology.
- Termination_proof wikiPageWikiLink Category:Formal_methods_terminology.
- Total_correctness wikiPageWikiLink Category:Formal_methods_terminology.
- Weakest_precondition wikiPageWikiLink Category:Formal_methods_terminology.
- Correctness_(computer_science) subject Category:Formal_methods_terminology.
- Guard_(computer_science) subject Category:Formal_methods_terminology.
- Partial_correctness subject Category:Formal_methods_terminology.
- Reification_(computer_science) subject Category:Formal_methods_terminology.
- Termination_proof subject Category:Formal_methods_terminology.
- Total_correctness subject Category:Formal_methods_terminology.
- Weakest_precondition subject Category:Formal_methods_terminology.