Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2011 | Models as arrows: the role of dialgebras | Martins, Manuel A.; Madeira, A.; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2011 | On requirements engineering for reactive systems: a formal methodology | Madeira, A.; Faria, José Miguel; Martins, Manuel A., et al. | Artigo em ata de conferência | Acesso aberto |
2011 | Reasoning about complex requirements in a uniform setting | Martins, Manuel A.; Madeira, A.; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |