Stelvio Cimato
-
Toward a Formal Model of Software Components
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering