面向事实建模方法ORM的-阶逻辑形式化分析
면향사실건모방법ORM적-계라집형식화분석
Formal analysis of ORM in first order logic
저자의 최근 논문