Navegando por Autor Safe, Georgia Penido
Mostrando resultados 1 a 1 de 1
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
3-Jun-2011 | Selection of formal verification heuristics for parallel execution | Nacif, Jose Augusto; Safe, Georgia Penido; Coelho Jr., Claudionor; Vieira, Luiz Filipe M.; Val, Celina Gomes Do; Fernandes, Antonio Otavio | Artigo |