"Proving the correctness of a flight-director program for an airborne ..."

W. D. Maurer (1976)

Details and statistics

DOI: 10.1145/800236.807101

access: closed

type: Conference or Workshop Paper

metadata version: 2021-08-31