Citations

Citations

The paper

Diomidis Spinellis and Panagiotis Louridas. A framework for the static verification of API calls. Journal of Systems and Software, 80(7):1156–1168, July 2007. (doi:10.1016/j.jss.2006.09.040)

has been cited by the following works.

M. Avvenuti, C. Bernardeschi, N. De Francesco, and P. Masci. A tool for checking secure interaction in java cards. In EWDC 2009: 12th European Workshop on Dependable Computing, 2009.

Home

Creative Commons License

Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.