[IEEE 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Buenos Aires, Argentina (2017.5.27-2017.5.27)] 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Model Checking for Mobile Android Malware Evolution
Cimitile, Aniello, Martinelli, Fabio, Mercaldo, Francesco, Nardone, Vittoria, Santone, Antonella, Vaglini, GigliolaYear:
2017
Language:
english
DOI:
10.1109/FormaliSE.2017.4
File:
PDF, 591 KB
english, 2017