问题框架中问题领域因果行为的形式化验证

朱利鲁,李智

Formal Validation of Causal Behaviors of Problem Domains in Problem Frames Approach

ZHU Li-lu and LI Zhi

计算机科学 . 2015, (12): 136 -142 .