Paparazzi UAV Flight Plan Generator Verified in Coq

Baptiste Pollien, PhD

Software Engineer HMI

I am a Software Engineer HMI at Ampere Software Technology.