Formal specification

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

Field Hierarchy

Parent
Computer science 54.8M papers	Engineering 23.9M papers	Programming language 7.2M papers	Software engineering 674k papers
Current
Formal specification 9,195 papers
Child
Language Of Temporal Ordering Specification 1,089 papers	Algebraic specification 683 papers	Refinement 587 papers	B-Method 221 papers

Trends

Notes

History