TitleTowards the adoption of formal techniques for kernel qualification
Publication TypeJournal Article
Year of Publication2015
AuthorsButterfield A, Hinchey M
JournalEuropean Space Agency, (Special Publication) ESA SP
VolumeSP-732