@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 = "10 maio 2024"
}