Formal methods

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

Field Hierarchy

Parent
Computer science 54.8M papers	Engineering 23.9M papers	Programming language 7.2M papers	Software engineering 674k papers
Current
Formal methods 12k papers
Child
Formal equivalence checking 1,214 papers	Language Of Temporal Ordering Specification 1,089 papers	Refinement 587 papers	B-Method 221 papers

Trends

Notes

History