TY  - RPRT
TI  - Automated validation of a computer operating system
AU  - Dervage, M. M.
AU  - Milberg, B. A.
PY  - 1970
UR  - https://ntrs.nasa.gov/citations/19700000246
ID  - 19700000246
ER  -