Verifying an Aircraft Proximity Characterization Method in Coq.

Dongxi Liu, Neale Leslie Fulton, John Zic, Martin de Groot

Browse the full ICFEM paper archive.