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