Sultan Abdulaziz

According to our database, Sultan Abdulaziz authored at least 1 paper in 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

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

Wilayat Khan, Habib Ullah, Aakash Ahmad, Khalid Sultan, Abdullah J. Alzahrani, Sultan Daud Khan, Mohammad Alhumaid, Sultan Abdulaziz

Hum. centric Comput. Inf. Sci., 2018