Verification of a program complex (Q4194415)
From MaRDI portal
scientific article; zbMATH DE number 3633675
Language | Label | Description | Also known as |
---|---|---|---|
English | Verification of a program complex |
scientific article; zbMATH DE number 3633675 |
Statements
Verification of a program complex (English)
0 references
1979
0 references
Program Verification
0 references
Processes
0 references
State Space
0 references
Database System
0 references