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 |