bn:01441183n
Noun Named Entity
Categories: Programming language topic stubs, Formal specification languages
EN
Common Algebraic Specification Language
EN
The Common Algebraic Specification Language is a general-purpose specification language based on first-order logic with induction. Wikipedia
Definitions
Sources
EN
The Common Algebraic Specification Language is a general-purpose specification language based on first-order logic with induction. Wikipedia