TY  - RPRT
TI  - Discovering, quantifying, and displaying attacks
AU  - Roberto Vigo
AU  - Flemming Nielson
AU  - Hanne Riis Nielson
PY  - 2016
DO  - 10.2168/lmcs-12(4:5)2016
UR  - https://arxiv.org/abs/1607.07720
ID  - 1607.07720
ER  -