%0 Journal Article %1 journals/software/BarberH01 %A Barber, K. Suzanne %A Holt, Jim %D 2001 %J IEEE Software %K dblp %N 6 %P 64-65 %T Software Architecture Correctness. %U http://dblp.uni-trier.de/db/journals/software/software18.html#BarberH01 %V 18

@article{journals/software/BarberH01, added-at = {2011-11-07T00:00:00.000+0100}, author = {Barber, K. Suzanne and Holt, Jim}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/235c8d62e84a27cf8d2284d2a3afc4fe3/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/52.965805}, interhash = {dc67233d8e27d4df5bf8ebd45971e8d8}, intrahash = {35c8d62e84a27cf8d2284d2a3afc4fe3}, journal = {IEEE Software}, keywords = {dblp}, number = 6, pages = {64-65}, timestamp = {2016-02-02T02:15:21.000+0100}, title = {Software Architecture Correctness.}, url = {http://dblp.uni-trier.de/db/journals/software/software18.html#BarberH01}, volume = 18, year = 2001 }