TY  - RPRT
TI  - Using formal specification in the Guidance and Control Software (GCS) experiment. Formal design and verification technology for life critical systems
AU  - Weber, Doug
AU  - Jamsek, Damir
PY  - 1994
UR  - https://ntrs.nasa.gov/citations/19940023764
ID  - 19940023764
ER  -