TY  - RPRT
TI  - Specifying Robustness
AU  - John C. McCabe-Dansted
AU  - Tim French
AU  - Mark Reynolds
AU  - Sophie Pinchinat
PY  - 2013
UR  - https://arxiv.org/abs/1309.4416
ID  - 1309.4416
ER  -