Formal digital license language with OTS/CafeOBJ method.

Jianwen Xiang, Dines Bjrner, Kokichi Futatsugi

Browse the full AICCSA paper archive.