TY  - RPRT
TI  - Evaluating the Assessment of Software Fault-Freeness
AU  - John Rushby
AU  - Bev Littlewood
AU  - Lorenzo Strigini
PY  - 2014
UR  - https://arxiv.org/abs/1404.6844
ID  - 1404.6844
ER  -