author : Kokichi Futatsugi

Short works

• Component-Based Algebraic Specification and Verification in CafeOBJ. 1999. (In FM'99 volume 2 )
• Verifying Behavioural Specifications in CafeOBJ Environment. 1999. (In FM'99 volume 2 )