Navegando por autor LEITE, Gabriel Nogueira
Mostrando resultados 1 a 1 de 1
| Data do documento | Título | Autor(es) |
|---|---|---|
| 4-Mai-2023 | Generating Formal Specifications for Smart Contracts from Textual Descriptions in Natural Language | LEITE, Gabriel Nogueira |