Browsing by Author Sousa, Janislley Oliveira de

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 
Showing results 1 to 1 of 1
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
20-Dec-2023LSVerifier: a BMC approach to identify security vulnerabilities in C open-source software projectsSousa, Janislley Oliveira deCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação