Formal methods

https://www.wikidata.org/wiki/Q1049183

Field Hierarchy

Parent
Computer science 62.9M papers	Engineering 25.6M papers	Programming language 7.7M papers	Software engineering 723k papers
Current
Formal methods 13.1k papers
Child
Formal equivalence checking 1,268 papers	Language Of Temporal Ordering Specification 1,109 papers	Refinement 681 papers	B-Method 233 papers

Trends

Notes

History