Formal specification

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

Field Hierarchy

Parent
Computer science 61.9M papers	Engineering 25M papers	Programming language 7.6M papers	Software engineering 710k papers
Current
Formal specification 9,523 papers
Child
Language Of Temporal Ordering Specification 1,108 papers	Algebraic specification 753 papers	Refinement 680 papers	B-Method 229 papers

Trends

Notes

History