THE STUDY OF OBJECT-Z SPECIFICATION FORMAT FOR SPECIFICATION ANIMATION Conferences

Overview
Identity
Additional Document Info
View All

authors

Chen, Yihai
MIAO, Huaikou
ZHU, Jiang

status

published

publication date

October 2005

published in

Proceedings of the 11th Joint International Computer Conference Journal

presented at event

11th Joint International Computer Conference - JICC 2005 Conference