Crossmark

Analyzing Energy Leaks of Android Applications Using Event-B

Crossref DOI link: https://doi.org/10.1007/S11036-021-01764-Y

Published: 2021-06

Update policy: https://doi.org/10.1007/SPRINGER_CROSSMARK_POLICY

Authors

Le, Hong Anh http://orcid.org/0000-0002-0483-3195
License Information

Text and Data Mining valid from 2021-05-23

Version of Record valid from 2021-05-23
More Information

Article History

Accepted: 6 April 2021

First Online: 23 May 2021