Étienne Payet, Fausto Spoto
An operational semantics for android activities
PEPM, 2014.
@inproceedings{PEPM-2014-PayetS, author = "Étienne Payet and Fausto Spoto", booktitle = "{Proceedings of the 19th Workshop on Partial Evaluation and Program Manipulation}", doi = "10.1145/2543728.2543748", isbn = "978-1-4503-2619-3", pages = "121--132", publisher = "{ACM}", title = "{An operational semantics for android activities}", year = 2014, }