Percorrer por orientadores Ferreira, Miguel A.
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
13-Dez-2011 | Invariant detection meets Random test case generation | Veloso, Tiago Alves | Dissertação de mestrado | Acesso aberto |