Research output: Contribution to journal › Article › peer-review
Journal | Ada User Journal |
---|---|
Date | Published - 1 Dec 2010 |
Issue number | 4 |
Volume | 31 |
Number of pages | 12 |
Pages (from-to) | 278-289 |
Original language | English |
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]*.
Find related publications, people, projects, datasets and more using interactive charts.