Hybrid relations in Isabelle/UTP (Q2296290)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Hybrid relations in Isabelle/UTP |
scientific article |
Statements
Hybrid relations in Isabelle/UTP (English)
0 references
18 February 2020
0 references
