J A McDermid
Research output: Working paper
}
TY - UNPB
T1 - Principles of an Assurance Algebra for Dependable Software
AU - McDermid, J A
PY - 1989
Y1 - 1989
M3 - Working paper
BT - Principles of an Assurance Algebra for Dependable Software
ER -