No label defined (Q5434189)
From MaRDI portal
scientific article; zbMATH DE number 5223082
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 5223082 |
Statements
3 January 2008
0 references
mathematical logic
0 references
propositional logic
0 references
first-order predicate logic
0 references
software development
0 references
program testing
0 references
tracing
0 references
verification
0 references