%0 Journal Article %1 journals/jss/DongACY07 %A Dong, Jing %A Alencar, Paulo S. C. %A Cowan, Donald D. %A Yang, Sheng %D 2007 %J Journal of Systems and Software %K dblp %N 11 %P 1755-1769 %T Composing pattern-based components and verifying correctness. %U http://dblp.uni-trier.de/db/journals/jss/jss80.html#DongACY07 %V 80

@article{journals/jss/DongACY07, added-at = {2007-09-21T00:00:00.000+0200}, author = {Dong, Jing and Alencar, Paulo S. C. and Cowan, Donald D. and Yang, Sheng}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/26885832701b4547a250b1c2d49365501/dblp}, ee = {http://dx.doi.org/10.1016/j.jss.2007.03.005}, interhash = {c31160f1ce9cd870f9317d092db26414}, intrahash = {6885832701b4547a250b1c2d49365501}, journal = {Journal of Systems and Software}, keywords = {dblp}, number = 11, pages = {1755-1769}, timestamp = {2016-02-02T05:11:46.000+0100}, title = {Composing pattern-based components and verifying correctness.}, url = {http://dblp.uni-trier.de/db/journals/jss/jss80.html#DongACY07}, volume = 80, year = 2007 }