Integrating object-oriented analysis with action logic for model building.

Qijia Tian, Jian Ma, Duanning Zhou, Zhongzhi Shi

Browse the full SMC paper archive.