TY  - BOOK
AU  - IEEE International computer software and applications conference (29
TI  - High-assurance software systems. COMPSAC 2005. Proceedings
SN  - 0769524133
U1  - 005.3 
PY  - 2005///
CY  - Los Alamitos
PB  - IEEE
N1  - Supported by Motorola
ER  -