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
    0 references
    0 references
    1979
    0 references
    Program Verification
    0 references
    Processes
    0 references
    State Space
    0 references
    Database System
    0 references
    0 references
    0 references
    0 references

    Identifiers