Metadata in BibTeX Format

This is the metadata for 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)

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

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.