Separation Logic for States Dependencies in Life Cycles of Android Activities and Fragments.

Mohamed A. El-Zawawy

Browse the full ICCSA paper archive.