Sign in

A Formal Android Permission Model Based on the B Method.

Lu RenRui ChangQing YinYujia Man
Published in: SpaCCS (2017)
Keyphrases