Keynote talk I: Building a high-assurance unpiloted air vehicle.

Lee Pike

Browse the full MEMOCODE paper archive.