@inproceedings{b6e85ff30f1a422abf69c89728e184b7,
title = "FAA certification of Ada run-time systems",
author = "Steen Silberg and Rasmussen, {Thorkil B.}",
year = "1994",
language = "English",
isbn = "3-540-58822-1",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "887",
pages = "489--498",
editor = "M. Toussaint",
booktitle = "Ada in Europe – Proceedings of the Eurospace and Ada-Europe International Conference, Copenhagen, 1994",
note = "First International Eurospace-Ada-Europe Symposium ; Conference date: 26-09-1994 Through 30-09-1994",
}