A Formal Approach for Modeling Interactive Visual Interfaces.

Emanuele Covino, Giovanni Pani

Browse the full TrustCom paper archive.