Buscar
Añadir filtros:
Usa los filtros para afinar la busqueda.
Resultados 1-2 de 2.
- Anterior
- 1
- Siguiente
Resultados por ítem:
Fecha de publicación | Título | Autor(es) |
---|---|---|
2018 | Teste de software baseado em lógica temporal linear em sistemas reativos. | Ikeda, Matheus Takeshi Yamakawa |
2018 | Estudo comparativo do teste de software Concolic | Barbosa, Cintia Franciele Leite |