home
>
book reviews
> Shusaku Iida
Google >
Shusaku Iida
author : Shusaku Iida
Short works
Component-Based Algebraic Specification and Verification in CafeOBJ. 1999.
(In
FM'99 volume 2
)