Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary. Formal verification of UI using the power of a recent tool suite. In Fabio Paternò, Carmen Santoro, Jürgen Ziegler, editors, ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'14, Rome, Italy, June 17-20, 2014. pages 235-240, ACM, 2014. [doi]
Abstract is missing.