Past, Present, and Future of SRA Implementation of CafeOBJ: Annex.

Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi

Browse the full FM paper archive.