Evaluation of verifiability in HAL/S<149>programming language for aerospace computers
2nd Computers in Aerospace Conference ; 1979 ; Los Angeles , CA , U.S.A.
1979-01-01
Conference paper
Electronic Resource
English
Tema Archive | 1977
|Computers and Aerospace Technology
Emerald Group Publishing | 1992
|Microminiature Aerospace Digital Computers
NTIS | 1968
|Computers and Aerospace Technology
British Library Online Contents | 1992
|AIAA | 1977
|