Fully Automatic Testing with Functions as Specifications (Q5302887)
From MaRDI portal
scientific article; zbMATH DE number 5491991
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fully Automatic Testing with Functions as Specifications |
scientific article; zbMATH DE number 5491991 |
Statements
Fully Automatic Testing with Functions as Specifications (English)
0 references
15 January 2009
0 references
