Buscar por Autor MEIRA, Igor de Araújo
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 5-mar-2020 | Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements | MEIRA, Igor de Araújo |