Probabilistic Formal Analysis of App Usage to Inform Redesign.

Oana Andrei, Muffy Calder, Matthew Chalmers, Alistair Morrison, Mattias Rost

Browse the full IFM paper archive.