Sophie Pinchinat, Mathieu Acher, Didier Vojtisek. Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis.
Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France.
⟨hal-01064645⟩