TY  - BOOK
AU  - Winter,Victor L.
AU  - Bhattacharya,Sourav
TI  - High integrity software
T2  - The Kluwer international series in engineering and computer science; SECS 577
SN  - 0792379497
AV  - QA76.76.R44  .H53 2001
PY  - 2001///
CY  - Boston
PB  - Kluwer Academic
KW  - Computer software
KW  - Reliability
KW  - Development
ER  -