Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
ERAS, E. R.; VIJAYKUMAR, N. L. Diagramas UML na verificação formal de software. In: SEMINÁRIO DE INICIAÇÃO CIENTÍFICA DO INPE (SICINPE)., 2014, São José dos Campos. Anais... São José dos Campos: INPE, 2014. Bolsa PIBIC/INPE/CNPq. IBI: <8JMKD3MGP5W34M/3GTNLFH>. Disponível em: <http://urlib.net/ibi/8JMKD3MGP5W34M/3GTNLFH>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Eras e Vijaykumar (2014).
... pode ser encontrada na literatura (ERAS; VIJAYKUMAR, 2014).