Language Of Temporal Ordering Specification

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

Field Hierarchy

Parent
Computer science 61.9M papers	Engineering 25M papers	Mathematics 21.8M papers	Programming language 7.6M papers
Algorithm 4.6M papers	Software engineering 710k papers	Theoretical computer science 609k papers	Formal verification 15.4k papers
Formal methods 13k papers		Formal specification 9,523 papers
Current
Language Of Temporal Ordering Specification 1,108 papers
Child
Z notation 0 papers	E-LOTOS 0 papers	Executable specification language 0 papers

Trends

Notes

History