TY  - GEN
AU  - IEEE
TI  - Compass ' 94 : : Proceedings of the Ninth Annual Conference on Computer Assurance 1994 
SN  - 0780318552
U1  - 004,PRO 
PY  - 1994///
CY  - Piscataway
PB  - IEEE Service Center
N1  - Safety 1 (Page-1), Use and Assessment of Formal Methods (Page -27), Alternatives to Formal Verification (Page -67), Fault Tolerance (Page- 91), Concurrency and Real-Time Systems (Page -121),Software Test ability for Critical Systems (Page -163)
ER  -