Vol-3344⫷ Vol-3345 ⫸Vol-3346
urn:nbn:de:0074-3345-0


Vol-3345/paper13_Spirit2⫷Vol-3345/paper14_Spirit3⫸Vol-3345/paper15_Spirit4
Vadim MalvoneDavide CattaJean Leneutre

Towards a Formal Verification of Attack Graphs.