%0 Conference Paper %1 conf/icse/SpitznagelG03 %A Spitznagel, Bridget %A Garlan, David %B ICSE %D 2003 %E Clarke, Lori A. %E Dillon, Laurie %E Tichy, Walter F. %I IEEE Computer Society %K dblp %P 374-384 %T A Compositional Formalization of Connector Wrappers. %U http://dblp.uni-trier.de/db/conf/icse/icse2003.html#SpitznagelG03 %@ 0-7695-1877-X

@inproceedings{conf/icse/SpitznagelG03, added-at = {2023-03-23T00:00:00.000+0100}, author = {Spitznagel, Bridget and Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/2d99316e41cc93364ccca8ac4e4a7ed2a/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2003}, editor = {Clarke, Lori A. and Dillon, Laurie and Tichy, Walter F.}, ee = {http://dl.acm.org/citation.cfm?id=776862}, interhash = {14b07f56e24ceea6fe12291734a8c55b}, intrahash = {d99316e41cc93364ccca8ac4e4a7ed2a}, isbn = {0-7695-1877-X}, keywords = {dblp}, pages = {374-384}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:36:26.000+0200}, title = {A Compositional Formalization of Connector Wrappers.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2003.html#SpitznagelG03}, year = 2003 }