基于WURFL手持设备的通用标记库研发
기우WURFL수지설비적통용표기고연발
Indirect Computing Model with Indirect Formal Method
저자의 최근 논문