APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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