Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications.

Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi

Browse the full LOPSTR paper archive.