Kleene Algebra with Tests and Coq Tools for while Programs (Q5327344)
From MaRDI portal
scientific article; zbMATH DE number 6196164
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Kleene Algebra with Tests and Coq Tools for while Programs |
scientific article; zbMATH DE number 6196164 |
Statements
Kleene Algebra with Tests and Coq Tools for while Programs (English)
0 references
7 August 2013
0 references
