TY  - CHAP

T1  - Automated Verification and Validation for High Integrity Systems: A Targeted Formal Methods Approach

T2  - Proceedings of the NASA Langley Formal Methods Workshop

PY  - 2000/01/01

AU  - Burton S

AU  - Clark JA

AU  - Galloway A

AU  - McDermid JA

ED  - 

Y2  - 2024/12/22

ER  -