Formal methods

http://dbpedia.org/resource/Category:Formal_methods an entity of type: Concept

rdf:langString Formal methods
rdf:langString Formal methods
xsd:integer 2574961
xsd:integer 1088404312
skos:Concept
<http://dbpedia.org/resource/Category:Subfields_of_computer_science>
<http://dbpedia.org/resource/Category:Mathematics_of_computing>
<http://dbpedia.org/resource/Category:Software_engineering>
<http://dbpedia.org/resource/Category:Data_modeling>
<http://dbpedia.org/resource/Category:Theoretical_computer_science>
<http://dbpedia.org/resource/Category:Software_quality>
<http://dbpedia.org/resource/Template:Commons_cat>
<http://dbpedia.org/resource/Template:CatAutoTOC>
<http://dbpedia.org/resource/Template:Cat_main>
<http://dbpedia.org/resource/Template:Catdiffuse>
<http://en.wikipedia.org/wiki/Category:Formal_methods?oldid=1088404312&ns=14>

data from the linked data cloud