Verification of tree-processing programs via higher-order model checking (Q5740641)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verification of tree-processing programs via higher-order model checking |
scientific article; zbMATH DE number 6606927
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Verification of tree-processing programs via higher-order model checking |
scientific article; zbMATH DE number 6606927 |
Statements
Verification of tree-processing programs via higher-order mode checking (English)
0 references
27 July 2016
0 references
0 references
0.8717078566551208
0 references
0.8665601015090942
0 references
0.8487970232963562
0 references
0.835529088973999
0 references
0.8316669464111328
0 references
