Formal methods

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

Field Hierarchy

Parent
Computer science 56.2M papers	Engineering 24.7M papers	Programming language 7.4M papers	Software engineering 692k papers
Current
Formal methods 12.2k papers
Child
Formal equivalence checking 1,235 papers	Language Of Temporal Ordering Specification 1,098 papers	Refinement 591 papers	B-Method 220 papers

Trends

Notes

History