Fechar


Como Referenciar este Documento no Padrão INPE (Formato BibINPE)

SILVA, F. E. C.; SANTIAGO JÚNIOR, V. A. Testes de software via model checking para sistemas espaciais críticos. In: SEMINÁRIO DE INICIAÇÃO CIENTÍFICA E INICIAÇÃO EM DESENVOLVIMENTO TECNOLÓGICO E INOVAÇÃO (SICINPE), , São José dos Campos, SP. (campo ausente ou vazio: 'booktitle') 2016. Bolsa PIBIC/INPE/CNPq. IBI: <8JMKD3MGP3W34P/3N5E5RS>. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34P/3N5E5RS>.

Como Fazer a Citação no Texto (por autor/ano)

... como proposto por Silva e Santiago Júnior (2016).
... pode ser encontrada na literatura (SILVA; SANTIAGO JÚNIOR, 2016).



Fechar