Samira Sadaoui. Assistance in the Reuse of Formal Specifications. In Antony Satyadas, Sergiu M. Dascalu, editors, Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, July 9-11, 2003, San Francisco, CA, USA. pages 217-222, ISCA, 2003.
Abstract is missing.