TY  - RPRT
TI  - The use of a formal simulator to verify a simple real time control program
AU  - Boyer, R. S.
AU  - Green, M. W.
AU  - Moore, J. S.
PY  - 1983
UR  - https://ntrs.nasa.gov/citations/19840017254
ID  - 19840017254
ER  -