@inproceedings{0a37b59a2ce341f99663c1a2d03e4163,
title = "Static analysis and verification of aerospace software by abstract interpretation",
author = "Julien Bertrane and Patrick Cousot and Radhia Cousot and J{\'e}r{\^o}me Feret and Laurent Mauborgne and Antoine Min{\'e} and Xavier Rival",
year = "2010",
language = "English (US)",
isbn = "9781600867439",
series = "AIAA Infotech at Aerospace 2010",
publisher = "American Institute of Aeronautics and Astronautics Inc.",
booktitle = "AIAA Infotech at Aerospace 2010",
}