Erschienen in: Open Access 20.09.2017 | Original Article A fully verified container library verfasst von: Nadia Polikarpova, Julian Tschannen, Carlo A. Furia Erschienen in: Formal Aspects of Computing | Ausgabe 5/2018 Diesen Artikel als PDF-Version lesen. loading … Vorheriger Artikel Editorial Nächster Artikel A formal approach for detection of security flaws in the android permission system download DOWNLOAD print DRUCKEN