Ada and the Software Vulnerabilities Project: The SPARK Annex
A. Burns and J. L. Tokar
In a previous article we published the Ada Annex to the Technical Report (TR) on software vulnerabilities developed by ISO/IEC JTC 1/SC 22/WG 23. This article completes this work, with the annex concerning SPARK.
Download Not Available
BibTex Entry
@article{Burns2010h,
author = {A. Burns and J. L. Tokar},
journal = {Ada User Journal},
month = {December},
number = {4},
pages = {278--289},
title = {Ada and the Software Vulnerabilities Project: The SPARK Annex},
volume = {31},
year = {2010}
}