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).