Thread-Modular Counterexample-Guided Abstraction Refinement (Q4930739)
From MaRDI portal
scientific article; zbMATH DE number 5794768
Language | Label | Description | Also known as |
---|---|---|---|
English | Thread-Modular Counterexample-Guided Abstraction Refinement |
scientific article; zbMATH DE number 5794768 |
Statements
Thread-Modular Counterexample-Guided Abstraction Refinement (English)
0 references
1 October 2010
0 references