Verifying an Aircraft Proximity Characterization Method in Coq

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-41202-8_7 ◽

2013 ◽

pp. 86-101

Author(s):

Dongxi Liu ◽

Neale L. Fulton ◽

John Zic ◽

Martin de Groot

Download Full-text