Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_methods_terminology> . }
Showing items 1 to 7 of
7
with 100 items per page.
- 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.