No label defined (Q4712650)
From MaRDI portal
scientific article; zbMATH DE number 4766
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 4766 |
Statements
25 June 1992
0 references
requirements engineering
0 references
specification testing
0 references
specification language
0 references
model-theoretic and proof-theoretic formulations of general logic
0 references
algebraically-based logics
0 references
complex heterogeneous logics
0 references
methods for proving the correctness of implementation steps
0 references
behavioural equivalence
0 references
theorem proving in structured specifications
0 references
support formal program development
0 references
