Percorrer por assunto Applied formal methods
Mostrar resultados 1-1 de 1.
| Data | Título | Autor(es) | Tipo | Acesso |
|---|---|---|---|---|
| 2018 | Alternative shaper: a model for automatic design generation | Santos, F.; Kwiecinski, K.; de Almeida, A.; Eloy, S.; Taborda, B. | Artigo | Acesso Aberto |