Component-Based Algebraic Specification and Verification in CafeOBJ.

Fri, 01 Jan 1999 00:00:00 +0100

Razvan Diaconescu , Kokichi Futatsugi, Shusaku Iida:
Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods 1999: 1644-1663