形式化语言B的面向方面编程扩充
형식화어언B적면향방면편정확충
Extensions of Formal Language B to Support Aspect-oriented Programming
저자의 최근 논문