[American Institute of Aeronautics and Astronautics 7th Computers in Aerospace Conference - Monterey,CA,U.S.A. (03 October 1989 - 05 October 1989)] 7th Computers in Aerospace Conference - Reasoning about software specifications - A case study

[American Institute of Aeronautics and A

✍ BOETTCHER, CAROLYN; MUNTZ, ALICE 📂 Article 📅 1989 🏛 American Institute of Aeronautics and Astronautics ⚖ 915 KB

[American Institute of Aeronautics and A

✍ SMITH, BURTON; MORRIS, KEITH 📂 Article 📅 1989 🏛 American Institute of Aeronautics and Astronautics ⚖ 686 KB

[American Institute of Aeronautics and A

✍ STRAEHLEY, ERWIN 📂 Article 📅 1989 🏛 American Institute of Aeronautics and Astronautics ⚖ 513 KB

[American Institute of Aeronautics and A

✍ SHELLEY, LARRY 📂 Article 📅 1989 🏛 American Institute of Aeronautics and Astronautics ⚖ 287 KB

[American Institute of Aeronautics and A

✍ SIDORAN, JAMES 📂 Article 📅 1989 🏛 American Institute of Aeronautics and Astronautics ⚖ 574 KB

[American Institute of Aeronautics and A

✍ ANDERSON, CHRIS 📂 Article 📅 1989 🏛 American Institute of Aeronautics and Astronautics ⚖ 205 KB