Vol-3859⫷ Vol-3860 ⫸Vol-3861
urn:nbn:de:0074-3860-0


Vol-3860/paper_4⫷Vol-3860/paper_5⫸Vol-3860/paper_6
Andrei MogageDorel Lucanu

Towards Logical Specification and Checking of Evasive Malware