Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTOS, L. B. R.; SANTIAGO JÚNIOR, V. A.; VIJAYKUMAR, N. L. Formal verification of UML-based software. In: WORKSHOP DOS CURSOS DE COMPUTAÇÃO APLICADA DO INPE, 12. (WORCAP)., 2012, São José dos Campos. Anais... São José dos Campos: INPE, 2012. On-line. IBI: <8JMKD3MGP8W/3D85595>. Disponível em: <http://urlib.net/ibi/8JMKD3MGP8W/3D85595>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santos, Santiago Júnior e Vijaykumar (2012).
... pode ser encontrada na literatura (SANTOS; SANTIAGO JÚNIOR; VIJAYKUMAR, 2012).