%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 }