1
TITLE: Ada and the software vulnerabilities project
AUTHORS: Burns, A; Tokar, JL; Baird, S; Barnes, J; Chapman, R; Dismukes, G; Gonzalez Harbour, M; Michell, S; Moore, B; Pinho, LM ; Ploedereder, E; Real, J; Rosen, JP; Schonberg, E; Tucker Taft, S; Vardanega, T;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 3
INDEXED IN: Scopus
2
TITLE: Ada and the software vulnerabilities project: The SPARK Annex
AUTHORS: Burns, A; Tokar, JL; Baird, S; Barnes, J; Chapman, R; Dismukes, G; Gonzalez Harbour, M; Michell, S; Moore, B; Pinho, LM ; Ploedereder, E; Real, J; Rosen, JP; Schonberg, E; Taft, ST; Vardanega, T;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 4
INDEXED IN: Scopus