Abella: A System for Reasoning about Relational Specifications (Q5195258)
From MaRDI portal
scientific article; zbMATH DE number 7106494
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abella: A System for Reasoning about Relational Specifications |
scientific article; zbMATH DE number 7106494 |
Statements
18 September 2019
0 references
Abella: A System for Reasoning about Relational Specifications (English)
0 references
