Mariana Gualhano, Ausberto Vera, and Roberto Medeiros Junior. 2014.
Biblioteca de Requisitos sobre propriedades de segurança em Sistemas Computacionais. In <em>Anais do II Encontro Nacional de Computação dos Institutos Federais</em>, julho 28, 2014, Brasília, Brasil. SBC, Porto Alegre, Brasil, 65-68.