This is the metadata for the paper in BibTeX format.
@Article{SL07b,
	Author={Diomidis Spinellis and Panagiotis Louridas},
	Title={A Framework for the Static Verification of {API} Calls},
	Journal={Journal of Systems and Software},
	ISSN="0164-1212",
	Pages={1156--1168},
	Year={2007},
	Volume={80},
	Number={7},
	Month=jul,
	DOI="10.1016/j.jss.2006.09.040",
	tags="sweng",
	URL=    "http://www.spinellis.gr/pubs/jrnl/2007-JSS-api-verify/html/SL07b.html"
}



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.