Formalizing Lightweight Verification of Software Component Composition
S. McCamant, and M. Ernst. Proceedings of SAVCBS 2004: Specification and Verification of Component-Based Systems, page 47-54. Newport Beach, CA, USA), (October 2004)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 mccamant04formalizing
%A McCamant, Stephen
%A Ernst, Michael D.
%B Proceedings of SAVCBS 2004: Specification and Verification of Component-Based Systems
%C Newport Beach, CA, USA)
%D 2004
%K typing substitutability subtyping component important
%P 47-54
%T Formalizing Lightweight Verification of Software Component Composition
@inproceedings{mccamant04formalizing,
added-at = {2011-12-16T09:34:44.000+0100},
address = {Newport Beach, CA, USA)},
author = {McCamant, Stephen and Ernst, Michael D.},
biburl = {https://www.bibsonomy.org/bibtex/2354ea32866d2040408589bb0e6411ea2/pbrada},
booktitle = {Proceedings of SAVCBS 2004: Specification and Verification of Component-Based Systems},
groups = {public},
interhash = {df7985c1e390941d0b7d5e47544bd7eb},
intrahash = {354ea32866d2040408589bb0e6411ea2},
keywords = {typing substitutability subtyping component important},
month = {October},
pages = {47-54},
timestamp = {2011-12-16T09:34:44.000+0100},
title = {Formalizing Lightweight Verification of Software Component Composition},
username = {pbrada},
year = 2004
}