How to Make the Citation of this Document using the INPE Standard (BibINPE Format)
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)., 2013, São José dos Campos. Anais... São José dos Campos: INPE, 2013. Bolsa PIBIC/INPE/CNPq. IBI: <8JMKD3MGP7W/3EP8K8K>. Available from: <http://urlib.net/ibi/8JMKD3MGP7W/3EP8K8K>.
How to Make the In-Text Citation (by author/year)
... as proposed by Eras and Vijaykumar (2013).
... may be found in the literature (ERAS; VIJAYKUMAR, 2013).