Automating (specification = implementation) using equational reasoning and LOTOS (Q5044762)
From MaRDI portal
scientific article; zbMATH DE number 7611287
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automating (specification = implementation) using equational reasoning and LOTOS |
scientific article; zbMATH DE number 7611287 |
Statements
Automating (specification = implementation) using equational reasoning and LOTOS (English)
0 references
2 November 2022
0 references
