Wissen, was kommt.
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Commo...
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Commo...
This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic...
The algebraic approach to system speci?cation and development, born in the 1970sas a formalmethod...
This volume presents the proceedings of the Sixth International Joint Conference on the Theory an...