Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
ARANTES, A.; SANTIAGO JÚNIOR, V. A.; VIJAYKUMAR, N. L. Testes de Software de aplicações espacias: abordagem por modelos formais e oráculos. In: WORKSHOP DOS CURSOS DE COMPUTAÇÃO APLICADA DO INPE, 13. (WORCAP), 2013, São José dos Campos. Anais... São José dos Campos: INPE, 2013. On-line. IBI: <8JMKD3MGP3W/49N5SPP>. Disponível em: <http://www.lac.inpe.br/worcap2013/programacao.php>. Acesso em: 03 maio 2024.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Arantes, Santiago Júnior e Vijaykumar (2013).
... pode ser encontrada na literatura (ARANTES; SANTIAGO JÚNIOR; VIJAYKUMAR, 2013).