%0 Conference Paper %1 barbosa_05_refinement %A Barbosa, Marco A. %B ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering %C New York, NY, USA %D 2005 %I ACM Press %K refinement 2005 \_pdf software\_architecture %P 377--380 %R http://dx.doi.org/10.1145/1081706.1081767 %T A refinement calculus for software components and architectures %U http://dx.doi.org/10.1145/1081706.1081767

@inproceedings{barbosa_05_refinement, added-at = {2009-03-10T04:52:57.000+0100}, address = {New York, NY, USA}, author = {Barbosa, Marco A.}, biburl = {https://www.bibsonomy.org/bibtex/23cfb9cc3fd8692f7b85239a6dcbf23b5/leonardo}, booktitle = {ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering}, citeulike-article-id = {789066}, doi = {http://dx.doi.org/10.1145/1081706.1081767}, interhash = {240534d1b3f14d9a4103557ba3234631}, intrahash = {3cfb9cc3fd8692f7b85239a6dcbf23b5}, issn = {0163-5948}, keywords = {refinement 2005 \_pdf software\_architecture}, pages = {377--380}, posted-at = {2006-08-07 19:56:08}, priority = {4}, publisher = {ACM Press}, timestamp = {2009-03-10T04:52:57.000+0100}, title = {A refinement calculus for software components and architectures}, url = {http://dx.doi.org/10.1145/1081706.1081767}, year = 2005 }