DMCA

Static Analysis and Verification of Aerospace Software by Abstract Interpretation (2010)

by Julien Bertrane , Patrick Cousot , Radhia Cousot , Jérôme Feret , Laurent Mauborgne , Antoine Miné , Xavier Rival
Venue:AMERICAN INSTITUTE OF AERONAUTICS AND ASTRONAUTICS (AIAA 2010)
Citations:26 - 12 self