Model-Checking Higher-Order Programs with Recursive Types (Q5326300)
From MaRDI portal
scientific article; zbMATH DE number 6194807
Language | Label | Description | Also known as |
---|---|---|---|
English | Model-Checking Higher-Order Programs with Recursive Types |
scientific article; zbMATH DE number 6194807 |
Statements
Model-Checking Higher-Order Programs with Recursive Types (English)
0 references
5 August 2013
0 references