CASL User Manual [electronic resource]: Introduction to Using the Common Algebraic Specification Language
CASL, the Common Algebraic Specification Language, was designed by the members of
CoFI, the Common Framework Initiative for algebraic specification and development, and is …
CoFI, the Common Framework Initiative for algebraic specification and development, and is …
CASL User Manual [electronic resource]: Introduction to Using the Common Algebraic Specification Language
M Bidoit, PD Mosses - sidalc.net
CASL, the Common Algebraic Specification Language, was designed by the members of
CoFI, the Common Framework Initiative for algebraic specification and development, and is …
CoFI, the Common Framework Initiative for algebraic specification and development, and is …