Usando invariantes na análise dos requisitos
Arianna Zoila Oliveira Salmon José Reinaldo Silva 1955-; Congresso Brasileiro de Automática - CBA (19. 2012 Campina Grande, PB)
Anais Campina Grande : UFCG, 2012
Campina Grande UFCG 2012
Check holdings(GetIt)