Victor Carreño, César Muñoz. Aircraft Trajectory Modeling and Altering Algorithm Verification. In Mark Aagaard, John Harrison, editors, Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Volume 1869 of Lecture Notes in Computer Science, pages 90-105, Springer, 2000.
Abstract is missing.