TY  - GEN
T1  - Software for dependable systemssufficient evidence? /
DA  - c2007.
CY  - Washington, D.C. :
AU  - Jackson, Daniel.
AU  - Millett, Lynette I.
AU  - Thomas, Martyn.
CN  - Proquest Ebook Central Academic Complete
CN  - QA76.76.R44
PB  - National Academies Press,
PP  - Washington, D.C. :
PY  - c2007.
ID  - 391730
KW  - Computer software
KW  - Software engineering.
KW  - Systems software
TI  - Software for dependable systemssufficient evidence? /
LK  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10194168
UR  - https://univsouthin.idm.oclc.org/login?url=http://site.ebrary.com/lib/usiricelib/Doc?id=10194168
ER  -