A proof method for the correctness of modularized 0CFA

Article Ecrit par: Lee, Oukseh ; Yi, Kwangkeun ; Paek, Yunheung ;