Mestrado
Título: Structural Testing Criteria for Concurrent Programs Considering Loop Executions
Programa: Ciências de Computação e Matemática Computacional – ICMC
Autora: Silvia Margarita Diaz
Orientador: Prof. Dr. Paulo Sergio Lopes de Souza (ICMC-USP)
Defesa: Sexta-feira, dia 24 de maio de 2019, às 14 horas
Local: Sala 4-111 (ICMC), Área 1 do Campus, Av. Trabalhador são-carlense, 400
Tel.: (16) 3373-9638