bn:03306759n
Noun Concept
AR
دلالات البديهي
EN
Axiomatic semantics is an approach based on mathematical logic for proving the correctness of computer programs. Wikipedia
Relations
Sources