𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[American Institute of Aeronautics and Astronautics AIAA Infotech@Aerospace 2010 - Atlanta, Georgia ()] AIAA Infotech@Aerospace 2010 - Static Analysis and Verification of Aerospace Software by Abstract Interpretation

✍ Scribed by Bertrane, Julien; Cousot, Patrick; Cousot, Radhia; Feret, Jerome; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier


Book ID
121073788
Publisher
American Institute of Aeronautics and Astronautics
Year
2010
Weight
97 KB
Category
Article
ISBN
1600869637

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES