TY  - RPRT
TI  - A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software
AU  - Asim Abdulkhaleq
AU  - Stefan Wagner
PY  - 2016
DO  - 10.1145/2745802.2745817
UR  - https://arxiv.org/abs/1612.00330
ID  - 1612.00330
ER  -