Computer-Aided Verification (Q2646): Difference between revisions
Created a new Item |
Created claim: uuid (P97): d6af8ea6-850b-43aa-a398-682ff3e27eb6 |
||
| Property / uuid | |||
d6af8ea6-850b-43aa-a398-682ff3e27eb6 | |||
| Property / uuid: d6af8ea6-850b-43aa-a398-682ff3e27eb6 / rank | |||
Normal rank | |||
Latest revision as of 19:13, 10 October 2026
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computer-Aided Verification |
No description defined |
Statements
1.02
0 references
d6af8ea6-850b-43aa-a398-682ff3e27eb6
0 references