An Empirical Evaluation of Automated Theorem Provers in Software Certification (Q56020737)
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An Empirical Evaluation of Automated Theorem Provers in Software Certification |
No description defined |
Statements
AN EMPIRICAL EVALUATION OF AUTOMATED THEOREM PROVERS IN SOFTWARE CERTIFICATION (English)
0 references
February 2006
0 references
15
0 references
01
0 references
81-107
0 references
