@TechReport{ErasVija:2013:DiUMVe,
author = "Eras, Eduardo Rohde and Vijaykumar, Nandamudi Lankalapalli",
title = "Diagramas UML na verifica{\c{c}}{\~a}o formal de software",
institution = "Instituto Nacional de Pesquisas Espaciais",
year = "2013",
type = "RDP",
address = "S{\~a}o Jos{\'e} dos Campos",
note = "{Bolsa PIBIC/INPE/CNPq}",
keywords = "UML, software.",
affiliation = "{} and {Instituto Nacional de Pesquisas Espaciais (INPE)}",
pages = "9",
ibi = "8JMKD3MGP3W34R/42SAEUS",
url = "http://urlib.net/ibi/8JMKD3MGP3W34R/42SAEUS",
targetfile = "Eduardo Rohde Eras.pdf",
urlaccessdate = "15 jun. 2024"
}