Citação norma APA

Silva, A. A. V. d. (2014). Contribuições para verificação automática de applets javacard.

Citação norma Chicago

Silva, Antonio Augusto Viana da. Contribuições Para Verificação Automática De Applets Javacard. 2014.

Citação norma MLA

Silva, Antonio Augusto Viana da. Contribuições Para Verificação Automática De Applets Javacard. 2014.

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