Verifying Behavioural Specifications in CafeOBJ Environment.

Akira Mori, Kokichi Futatsugi

Browse the full FM paper archive.