Citação norma APA

Lourenco, C. B., Frade, M. J., & Pinto, J. S. (2016). Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach.

Citação norma Chicago

Lourenco, Claudio Belo, M. J. Frade, and Jorge Sousa Pinto. Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. 2016.

Citação norma MLA

Lourenco, Claudio Belo, et al. Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. 2016.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.