Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs (Q3459423)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs |
scientific article |
Statements
Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs (English)
0 references
8 January 2016
0 references
