No label defined (Q4712650)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4766
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7934595346450806
0 references
0.7640489339828491
0 references
0.7636430263519287
0 references
