Program Analysis and Verification Techniques (Q167620): Difference between revisions
From geokb
(Changed label, description and/or aliases in en, and other parts: modified description with assistance from Llama 3.1) |
(Changed label, description and/or aliases in en, and other parts: removed aliases from OpenAlex topic and added addresses subject claims to linkable items) |
||
| (One intermediate revision by the same user not shown) | |||
| 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 | ||
| Property / same as | |||
| Property / same as: https://openalex.org/T10126 / rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: T10126 / rank | |||
Normal rank | |||
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. |
