Maria Augusta V. Nelson, Torsten Nelson, Paulo S. C. Alencar, Donald D. Cowan. An approach to formal automated analysis of problem-frame concerns. Information \& Software Technology, 47(14):913-927, 2005. [doi]
@article{NelsonNAC05, title = {An approach to formal automated analysis of problem-frame concerns}, author = {Maria Augusta V. Nelson and Torsten Nelson and Paulo S. C. Alencar and Donald D. Cowan}, year = {2005}, doi = {10.1016/j.infsof.2005.08.005}, url = {http://dx.doi.org/10.1016/j.infsof.2005.08.005}, tags = {analysis, C++, systematic-approach}, researchr = {https://researchr.org/publication/NelsonNAC05}, cites = {0}, citedby = {0}, journal = {Information \& Software Technology}, volume = {47}, number = {14}, pages = {913-927}, }