An operational semantics for android activities.

tienne Payet, Fausto Spoto

Browse the full PEPM paper archive.