%0 Journal Article %1 journals/tse/PelliccioneIM09 %A Pelliccione, Patrizio %A Inverardi, Paola %A Muccini, Henry %D 2009 %J IEEE Trans. Software Eng. %K dblp %N 3 %P 325-346 %T CHARMY: A Framework for Designing and Verifying Architectural Specifications. %U http://dblp.uni-trier.de/db/journals/tse/tse35.html#PelliccioneIM09 %V 35

@article{journals/tse/PelliccioneIM09, added-at = {2024-02-05T00:00:00.000+0100}, author = {Pelliccione, Patrizio and Inverardi, Paola and Muccini, Henry}, biburl = {https://www.bibsonomy.org/bibtex/226da69be46adc15270b2b4b26bf918ba/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2008.104}, interhash = {ba3b438087cf9486f478e137d0264e3b}, intrahash = {26da69be46adc15270b2b4b26bf918ba}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 3, pages = {325-346}, timestamp = {2024-04-08T21:08:24.000+0200}, title = {CHARMY: A Framework for Designing and Verifying Architectural Specifications.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse35.html#PelliccioneIM09}, volume = 35, year = 2009 }