TY  - RPRT
TI  - High Assurance Systems Engineering
AU  - Chau, S.
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/20060034389
ID  - 20060034389
ER  -