@inproceedings{62637b48f10345ceac63cd47849a9506,
title = "Towards the adoption of formal techniques for kernel qualification",
author = "Andrew Butterfield and Mike Hinchey",
year = "2015",
month = sep,
day = "1",
language = "English",
series = "European Space Agency, (Special Publication) ESA SP",
publisher = "European Space Agency",
editor = "L. Ouwehand",
booktitle = "Proceedings of DASIA 2015 - DAta Systems In Aerospace",
note = "DAta Systems In Aerospace Conference, DASIA 2015 ; Conference date: 19-05-2015 Through 21-05-2015",
}