Citação norma APA

Carvalho, A., Silva, N., Sousa, S. M. d., & Moreira, N. (2010). A tool for automatic model extraction of Ada/SPARK programs.

Citação norma Chicago

Carvalho, André, Nuno Silva, Simão Melo de Sousa, and Nelma Moreira. A Tool for Automatic Model Extraction of Ada/SPARK Programs. 2010.

Citação norma MLA

Carvalho, André, et al. A Tool for Automatic Model Extraction of Ada/SPARK Programs. 2010.

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