Conference
THE STUDY OF OBJECT-Z SPECIFICATION FORMAT FOR SPECIFICATION ANIMATION
Authors
CHEN Y; MIAO H; ZHU J
Pagination
pp. 738-741
Publisher
World Scientific Publishing
Publication Date
January 1, 2005
DOI
10.1142/9789812701534_0165
Name of conference
Proceedings of the 11th Joint International Computer Conference