[American Institute of Aeronautics and Astronautics 5th Computers in Aerospace Conference - Long Beach,CA,U.S.A. (21 October 1985 - 23 October 1985)] 5th Computers in Aerospace Conference - The SofTech Ada verification project

[American Institute of Aeronautics and A

✍ AMUNDSEN, M.; KASTNER, W.; KRUEGER, S.; MANUEL, G.; MATTHEWS, L. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 400 KB

[American Institute of Aeronautics and A

✍ COHEN, N. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 878 KB

[American Institute of Aeronautics and A

✍ SYLVESTER, R. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 380 KB

[American Institute of Aeronautics and A

✍ LAIRD, J.; VICTA, R.; KOPPES, M.; BURTON, B. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 392 KB

[American Institute of Aeronautics and A

✍ KUO, N. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 819 KB

[American Institute of Aeronautics and A

✍ MONASTRA, E.; GRIFFIN, B. 📂 Article 📅 1985 🏛 American Institute of Aeronautics and Astronautics ⚖ 294 KB