![](/img/cover-not-exists.png)
A proof method for the correctness of modularized 0CFA
Oukseh Lee, Kwangkeun Yi, Yunheung PaekVolume:
81
Year:
2002
Language:
english
Pages:
7
DOI:
10.1016/s0020-0190(01)00223-x
File:
PDF, 90 KB
english, 2002