Abigail Cauchi. Using differential formal analysis for dependable number entry. In Peter Forbrig, Prasun Dewan, Michael Harrison, Kris Luyten, editors, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'13, London, United Kingdom - June 24 - 27, 2013. pages 155-158, ACM, 2013. [doi]
Abstract is missing.