CrashSafe: A Formal Model for Proving Crash-Safety of Android Applications
Human-centric Computing and Information Sciences - United States
doi 10.1186/s13673-018-0144-7
Full Text
Open PDFAbstract
Available in full text
Categories
Date
July 26, 2018
Authors
Publisher
Springer Science and Business Media LLC