Chocolat/SMV: A Translator from CafeOBJ into SMV.

Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi

Browse the full PDCAT paper archive.