Program Analysis and Verification Techniques (Q167620): Difference between revisions
From geokb
(Changed an Item: moved OpenAlex ID to its dedicated external ID datatype for consistency) |
(Changed label, description and/or aliases in en, and other parts: removed aliases from OpenAlex topic and added addresses subject claims to linkable items) |
||
| aliases / en / 0 | aliases / en / 0 | ||
| aliases / en / 1 | aliases / en / 1 | ||
| aliases / en / 2 | aliases / en / 2 | ||
| aliases / en / 3 | aliases / en / 3 | ||
| aliases / en / 4 | aliases / en / 4 | ||
| aliases / en / 5 | aliases / en / 5 | ||
| aliases / en / 6 | aliases / en / 6 | ||
| aliases / en / 7 | aliases / en / 7 | ||
| aliases / en / 8 | aliases / en / 8 | ||
| aliases / en / 9 | aliases / en / 9 | ||
Latest revision as of 20:29, 21 September 2024
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. |
