Proving equality of streams automatically (Q5389096)
From MaRDI portal
scientific article; zbMATH DE number 6027851
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proving equality of streams automatically |
scientific article; zbMATH DE number 6027851 |
Statements
24 April 2012
0 references
streams
0 references
stream specification
0 references
Streambox
0 references
Proving equality of streams automatically (English)
0 references
