author : Razvan Diaconescu

Short works

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