Abigail Cauchi. Differential formal analysis: evaluating safer 5-key number entry user interface designs. In Simone Diniz Junqueira Barbosa, José Creissac Campos, Rick Kazman, Philippe A. Palanque, Michael D. Harrison, Steve Reeves, editors, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'12, Copenhagen, Denmark - June 25 - 28, 2012. pages 317-320, ACM, 2012. [doi]
Abstract is missing.