Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary, Daniele Dadolle. Using formal models to cross check an implementation. In Kris Luyten, Philippe A. Palanque, editors, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016, Brussels, Belgium, June 21-24, 2016. pages 126-137, ACM, 2016. [doi]
Abstract is missing.