Conference Papers
Year : 2010
Jérôme Feret : Connect in order to contact the contributor
https://inria.hal.science/inria-00528611
Submitted on : Friday, October 22, 2010-10:47:20 AM
Last modification on : Monday, December 9, 2024-3:32:38 PM
Dates and versions
Identifiers
- HAL Id : inria-00528611 , version 1
Cite
Julien Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, et al.. Static Analysis and Verification of Aerospace Software by Abstract Interpretation. American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States. ⟨inria-00528611⟩
276
View
0
Download