一种为程序的安全性验证所设计的面向对象的自动转换方法
일충위정서적안전성험증소설계적면향대상적자동전환방법
A goal-based automatic conversion approach for the safety verification of programs
저자의 최근 논문