bn:01067508n
Noun Concept
AR
منطق هور
EN
Hoare logic is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. Wikipedia
Relations
Sources
Wikipedia Translations