Showing results 1 to 3 of 3
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 |
A semantics of sequence diagrams Cho, SM; Kim, HH; Cha, Sungdeok; Bae, Doo-Hwan, INFORMATION PROCESSING LETTERS, v.84, no.3, pp.125 - 130, 2002-11 |
LR formalisms as abstract interpretations of grammar semantics O, S; Choe, Kwang-Moo, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E89D, no.12, pp.2924 - 2932, 2006-12 |
Discover