author : Akira Mori

Short works

• Verifying Behavioural Specifications in CafeOBJ Environment. 1999. (In FM'99 volume 2 )