bn:01441183n
Noun Named Entity
NL
No term available
EN
The Common Algebraic Specification Language is a general-purpose specification language based on first-order logic with induction. Wikipedia
Sources