Testing from structured algebraic specifications: the \textsc{Veritas} case study (Q2848448)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Testing from structured algebraic specifications: the \textsc{Veritas} case study |
scientific article; zbMATH DE number 6211934
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Testing from structured algebraic specifications: the \textsc{Veritas} case study |
scientific article; zbMATH DE number 6211934 |
Statements
26 September 2013
0 references
0.9029599
0 references
0.89335585
0 references
0.88357306
0 references
0.8810078
0 references
Testing from structured algebraic specifications: the \textsc{Veritas} case study (English)
0 references
