Fechar
Metadados


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

SANTOS, L. B. R.; SALES, C. P.; SANTIAGO JÚNIOR, V. A. XMITS: software inspections via formal verification. In: CONGRESSO BRASILEIRO DE SOFTWARE, 9. (CBSOFT), , São Carlos, SP. Anais... 2018. p. 55-60.

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

... como proposto por Santos, Sales e Santiago Júnior (2018).
... pode ser encontrada na literatura (SANTOS; SALES; SANTIAGO JÚNIOR, 2018).



Fechar