Toward a Formal Model of Software Components - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maritta Heisel, Thomas Santen, Jeanine Souquières. Toward a Formal Model of Software Components. In Chris George, Huaikou Miao, editors, Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings. Volume 2495 of Lecture Notes in Computer Science, pages 57-68, Springer, 2002. [doi]

This author has not been identified. Look up 'Maritta Heisel' in GoogleThis author has not been identified. Look up 'Thomas Santen' in GoogleThis author has not been identified. Look up 'Jeanine Souquières' in Google

runs on WebDSL