CASL-CHART: A Combination of Statecharts and the Algebraic Specification Language CASL (0)

by G Reggio, L Repetto
Venue:Proc. 8 th Int. Conf. Algebraic Methodology and Software Technology, volume 1816 of Lect