E-LOTOS (Q19501726)
Jump to navigation
Jump to search
formal specification language
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | E-LOTOS |
formal specification language |
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | E-LOTOS |
formal specification language |