Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
AMBROSIO, A. M.; JULIO FILHO, A. C.; TIKAMI, A. Validation of de Satellite Speed Measurement System with the use of formal methods for Test case generation: one experiment. In: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, 6. (LADC'2013)., 2013, Rio de Janeiro. Proceedings... 2013. DVD.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Ambrosio, Julio Filho e Tikami (2013).
... pode ser encontrada na literatura (AMBROSIO; JULIO FILHO; TIKAMI, 2013).