Skip to main content

Contact Wilayat Khan

From: CrashSafe: a formal model for proving crash-safety of Android applications

Contact corresponding author