Browsing by Author Georgia Penido Safe
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2-Dec-2011 | Um modelo estatístico multivariado para prever o comportamento de heurísticas em verificação formal | Georgia Penido Safe | Tese de Doutorado |