Close


How to Make the Citation of this Document using the INPE Standard (BibINPE Format)

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>. Available from: <http://www.lac.inpe.br/worcap2013/programacao.php>. Access in: 2024, May 19.

How to Make the In-Text Citation (by author/year)

... as proposed by Arantes, Santiago Júnior and Vijaykumar (2013).
... may be found in the literature (ARANTES; SANTIAGO JÚNIOR; VIJAYKUMAR, 2013).



Close