Program Analysis and Verification Techniques (Q167620)

From geokb
Analysis and verification of computer programs for correctness and reliability.
Language Label Description Also known as
English
Program Analysis and Verification Techniques
Analysis and verification of computer programs for correctness and reliability.

    Statements