Language Of Temporal Ordering Specification (Q1805432)
Jump to navigation
Jump to search
Formal specification language in computer science
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Language Of Temporal Ordering Specification |
Formal specification language in computer science |