| |
|
|
| Registros recuperados : 2 | |
| 2. |  | EK, A.; GRABOWSKI, J.; HOGREFE, D.; JEROME, R.; KOCH, B.; SCHMITT, M. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. In: CAVALLI, A.; SARMA, A. (Ed.). SDL '97: Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997. p. 245-259.| Biblioteca(s): Embrapa Agricultura Digital. |
|   |
| Registros recuperados : 2 | |
|
|
|
| Registros recuperados : 1 | |
| 1. | | SANTOS, A. dos S.; ARAUJO, O. G.; BARBOSA, T. A. N.; MENDES, S. M.; VALICENTE, F. H.; HEBAC, F. C. Resposta de Helicoverpa spp. à milho Bt expressando diferentes proteínas. In: CONGRESSO BRASILEIRO DE ENTOMOLOGIA, 25., 2014, Goiânia. Resumos... Santo Antônio de Goiás: Sociedade Entomológica do Brasil, 2014.| Tipo: Resumo em Anais de Congresso |
| Biblioteca(s): Embrapa Milho e Sorgo. |
|  |
| Registros recuperados : 1 | |
|
| Expressão de busca inválida. Verifique!!! |
|
|
