Fechar


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

SANTIAGO JÚNIOR, V. A. Some applications of formal methods. São José dos Campos: INPE, 2022. BRAZILIAN SYMPOSIUM ON FORMAL METHODS (SBMF), 25., 2022-12-07, Online. 88 transparências. On-line. IBI: <8JMKD3MGP3W34T/48AF3LL>. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34T/48AF3LL>.

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

... como proposto por Santiago Júnior (2022).
... pode ser encontrada na literatura (SANTIAGO JÚNIOR, 2022).



Fechar