Kim Yong Chun

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Kim Yong Chun, Dang Van Hung
Specification and Verification of Spatial Data Types with B-Toolkit. COMPSAC (2002)