The Community for Technology Leaders
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) (1998)
Honolulu, Hawaii
Oct. 13, 1998 to Oct. 16, 1998
ISBN: 0-8186-8750-9
pp: 2
INDEX TERMS
CITATION

S. Morasca, P. S. Pietro and A. Morzenti, "A Tool for Automated System Analysis based on Modular Specifications," Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)(ASE), Honolulu, Hawaii, 1998, pp. 2.
doi:10.1109/ASE.1998.732560
85 ms
(Ver 3.3 (11022016))