TY  - BOOK
ED  - IEEE Conference on computer assurance(10:1995: Gaithersbur)
TI  - System integrity, software safety, processes security, formal methods: Proceedings
SN  - 0780326814
U1  - 004 
PY  - 1995///
CY  - New Jersey
PB  - IEEE
ER  -