Hardware and Software: Verification and Testing
Springer Berlin Heidelberg
| Chapter title |
The SMT-LIB Initiative and the Rise of SMT
|
|---|---|
| Chapter number | 2 |
| Book title |
Hardware and Software: Verification and Testing
|
| Published in |
ADS, October 2010
|
| DOI | 10.1007/978-3-642-19583-9_2 |
| Book ISBNs |
978-3-64-219582-2, 978-3-64-219583-9
|
| Authors |
Clark Barrett, Leonardo de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli, Barrett, Clark, de Moura, Leonardo, Ranise, Silvio, Stump, Aaron, Tinelli, Cesare |
| Country | Count | As % |
|---|---|---|
| Unknown | 1 | 100% |
| Readers by professional status | Count | As % |
|---|---|---|
| Researcher | 1 | 100% |
| Readers by discipline | Count | As % |
|---|---|---|
| Unknown | 1 | 100% |