@article{7af9e103b5ac40028d66b2a162353270,
title = "Ada and the software vulnerabilities project: The SPARK Annex",
abstract = "In a previous article [1] we published the Ada [2] Annex to the Technical Report (TR) on software vulnerabilities [3], developed by ISO/IEC JTC 1/SC 22/WG 23. This article completes this work, with the annex concerning SPARK [4]*.",
keywords = "Ada, Software vulnerabilities, Software vulnerability, SPARK",
author = "Alan Burns and Tokar, {Joyce L.} and Stephen Baird and John Barnes and Rod Chapman and Gary Dismukes and Michael Gonz{\'a}lez-Harbour and Stephen Michell and Brad Moore and Pinho, {Luis Miguel} and Erhard Ploedereder and Jorge Real and Rosen, {J. P.} and Ed Schonberg and Taft, {S. Tucker} and T. Vardanega",
year = "2010",
month = dec,
day = "1",
language = "English",
volume = "31",
pages = "278--289",
journal = "Ada User Journal",
issn = "1381-6551",
publisher = "Ada-Europe",
number = "4",
}