bn:01441183n
Noun Named Entity
JA
共通代数仕様言語
EN
The Common Algebraic Specification Language is a general-purpose specification language based on first-order logic with induction. Wikipedia
Sources