Analyzing Energy Leaks of Android Applications Using Event-B
Crossref DOI link: https://doi.org/10.1007/s11036-021-01764-y
Published Online: 2021-05-23
Published Print: 2021-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Le, Hong Anh https://orcid.org/0000-0002-0483-3195
Text and Data Mining valid from 2021-05-23
Version of Record valid from 2021-05-23
Article History
Accepted: 6 April 2021
First Online: 23 May 2021