Agostino Cortesi, Gilberto Filé. Static Analysis. Science of Computer Programming, 47(2-3):89-90, 2003. [doi]
@article{CortesiF03, title = {Static Analysis}, author = {Agostino Cortesi and Gilberto Filé}, year = {2003}, doi = {10.1016/S0167-6423(02)00128-4}, url = {http://dx.doi.org/10.1016/S0167-6423(02)00128-4}, tags = {analysis, static analysis}, researchr = {https://researchr.org/publication/CortesiF03}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {47}, number = {2-3}, pages = {89-90}, }