Uma estratégia de testes logarítmica para o algoritmo HI-ADSD - Ruoso, Vinicius Kwiecien (2013)
Orientador: Prof. Dr. Elias P. Duarte Jr.