Q173326

From Wikidata
Jump to: navigation, search

formal verification (Q173326)[edit]

act of proving or disproving the correctness of intended algorithms [edit]

No aliases defined. [add]

Statements

/m/01nswj
[edit]
1 reference
[add]