J A McDermid
Research output: Working paper
}
TY - UNPB
T1 - Assurance in High Integrity Software
AU - McDermid, J A
PY - 1987
Y1 - 1987
M3 - Working paper
BT - Assurance in High Integrity Software
ER -