Automatic analysis of requirements consistency with the B method (2010)
Sousa, Thiago Carvalho de; Almeida Junior, Jorge Rady de 
; Viana, Sidney; Pavón, Judith
Source: Software engineering notes. Unidade: EP
Assunto: ANÁLISE DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Thiago Carvalho de et al. Automatic analysis of requirements consistency with the B method. Software engineering notes, v. 35, n. 2, p. 1-4, 2010Tradução . . Disponível em: https://doi.org/10.1145/1734103.1734114. Acesso em: 03 jan. 2026.APA
Sousa, T. C. de, Almeida Junior, J. R. de, Viana, S., & Pavón, J. (2010). Automatic analysis of requirements consistency with the B method. Software engineering notes, 35( 2), 1-4. doi:10.1145/1734103.1734114NLM
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1145/1734103.1734114Vancouver
Sousa TC de, Almeida Junior JR de, Viana S, Pavón J. Automatic analysis of requirements consistency with the B method [Internet]. Software engineering notes. 2010 ;35( 2): 1-4.[citado 2026 jan. 03 ] Available from: https://doi.org/10.1145/1734103.1734114
