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 |
nML 프로그래밍 환경에서 SOAP 클라이언트 구현 권오경; 한태숙, 정보과학회논문지 : 소프트웨어 및 응용, v.30, no.2, pp.164 - 172, 2003-02 |
Discover