Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_methods> }
- Category:Automated_theorem_proving broader Category:Formal_methods.
- Category:Formal_methods_organizations broader Category:Formal_methods.
- Category:Formal_methods_people broader Category:Formal_methods.
- Category:Formal_methods_publications broader Category:Formal_methods.
- Category:Formal_methods_terminology broader Category:Formal_methods.
- Category:Formal_methods_tools broader Category:Formal_methods.
- Category:Formal_specification broader Category:Formal_methods.
- Category:Logical_calculi broader Category:Formal_methods.
- Category:Model_checking broader Category:Formal_methods.
- Category:Models_of_computation broader Category:Formal_methods.
- Category:Program_analysis broader Category:Formal_methods.
- Category:Program_derivation broader Category:Formal_methods.
- Category:Program_logic broader Category:Formal_methods.
- Category:Satisfiability_problems broader Category:Formal_methods.
- Category:Turing_machine broader Category:Formal_methods.
- Category:Z_notation broader Category:Formal_methods.