José Creissac Campos. A formal approach to the usability engineering. In Clarisse Sieckenius de Souza, J. Alfredo Sánchez, Simone Diniz Junqueira Barbosa, Cleotilde Gonzalez, editors, Latin American Conference on Human-Computer Interaction, CLIHC'03, Rio de Janeiro, Brazil, November 17-20, 2003. pages 17-28, ACM, 2003. [doi]
Abstract is missing.