TY  - RPRT
TI  - QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification
AU  - Florian Dorfhuber
AU  - Julia Eisentraut
AU  - Katharina Klioba
AU  - Jan Kretinsky
PY  - 2024
UR  - https://arxiv.org/abs/2406.15605
ID  - 2406.15605
ER  -