Skip to main content

Paper accepted at Formal Aspects of Computing (FAC)

· One min read

We are proud that our paper "Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps", has been accepted at Formal Aspects of Computing (FAC).

@inproceedings{jinlonghe2025,
  author    = {Jinlong He and Zhilin Wu and Taolue Chen},
  title     = {Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps},
  booktitle = {Formal Aspects of Computing},
  doi       = {10.1145/3708562},
  year      = {2025}
}