Under-approximating loops in C programs for fast counterexample detection (Q38366581)
Jump to navigation
Jump to search
scientific article published on 17 April 2015
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Under-approximating loops in C programs for fast counterexample detection |
scientific article published on 17 April 2015 |
Statements
1 reference
Under-approximating loops in C programs for fast counterexample detection (English)
1 reference
Matt Lewis
1 reference
1 reference
17 April 2015
1 reference
Identifiers
1 reference