TY  - JOUR

T1  - Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems

JO  - Proceedings of 4th Australian Workshop on Safety Critical Systems and Software. Australian Computer Society.

PY  - 1999/01/01

AU  - Tracey N

AU  - Mander K

AU  - Clark JA

AU  - McDermid JA

ED  - 

Y2  - 2024/10/23

ER  -