iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/hcis/KhanUASAKAA18.xml
Wilayat Khan Habib Ullah Aakash Ahmad Khalid Sultan Abdullah J. Alzahrani Sultan Daud Khan Mohammad Alhumaid Sultan Abdulaziz CrashSafe: a formal model for proving crash-safety of Android applications. 21 2018 8 Hum. centric Comput. Inf. Sci. https://doi.org/10.1186/s13673-018-0144-7 db/journals/hcis/hcis8.html#KhanUASAKAA18