Formal Analysis of Human-computer Interaction using Model-checking.

Antonio Cerone, Peter A. Lindsay, Simon Connelly

Browse the full SEFM paper archive.