Search




Current filters:













Add filters:

Use filters to refine the search results.


Results 1-1 of 1 (Search time: 0.088 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
8-Jun-2021Dissertação_RafaelMenezes_PPGI.pdf.jpgGeração de casos de teste usando Bounded Model CheckingMenezes, Rafael SáCordeiro, Lucas CarvalhoPrograma de Pós-graduação em InformáticaDissertação