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. |
