Provably Correct Translation from CafeOBJ into Java.

Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi

Browse the full SEKE paper archive.