%0 Conference Paper %1 conf/icse/CaporuscioIP04 %A Caporuscio, Mauro %A Inverardi, Paola %A Pelliccione, Patrizio %B ICSE %D 2004 %E Finkelstein, Anthony %E Estublier, Jacky %E Rosenblum, David S. %I IEEE Computer Society %K dblp %P 221-230 %T Compositional Verification of Middleware-Based Software Architecture Descriptions. %U http://dblp.uni-trier.de/db/conf/icse/icse2004.html#CaporuscioIP04 %@ 0-7695-2163-0

@inproceedings{conf/icse/CaporuscioIP04, added-at = {2023-03-23T00:00:00.000+0100}, author = {Caporuscio, Mauro and Inverardi, Paola and Pelliccione, Patrizio}, biburl = {https://www.bibsonomy.org/bibtex/281cb47986d7669bc39b998f969b98643/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2004}, editor = {Finkelstein, Anthony and Estublier, Jacky and Rosenblum, David S.}, ee = {http://dl.acm.org/citation.cfm?id=999427}, interhash = {8e675418571c85e36a8a5498f4757d0f}, intrahash = {81cb47986d7669bc39b998f969b98643}, isbn = {0-7695-2163-0}, keywords = {dblp}, pages = {221-230}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:36:04.000+0200}, title = {Compositional Verification of Middleware-Based Software Architecture Descriptions.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2004.html#CaporuscioIP04}, year = 2004 }