Showing results 1 to 2 of 2
A proof method for the correctness of modularized 0CFA Lee, O; Yi, Kwangkeun; Paek., Yunheung, INFORMATION PROCESSING LETTERS, v.81, no.4, pp.179 - 185, 2002-02 |
An uncaught exception analysis for Java Jo, JW; Chang, BM; Yi, KK; Choe, Kwang-Moo, JOURNAL OF SYSTEMS AND SOFTWARE, v.72, no.1, pp.59 - 69, 2004-06 |
Discover