Belo Lourenco, C., Frade, M. J., Nakajima, S., & Pinto, J. S. (2018). A generalized approach to verification condition generation.
Citação do estilo Chicago (17ª ed.)Belo Lourenco, Claudio, M. J. Frade, Shin Nakajima, e Jorge Sousa Pinto. A Generalized Approach to Verification Condition Generation. 2018.
Citação MLA (8ª ed.)Belo Lourenco, Claudio, et al. A Generalized Approach to Verification Condition Generation. 2018.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.