Mostrar 1-3 de um total de 3 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2016 | Dynamic logic with binders and its application to the development of reactive systems | Madeira, Alexandre Leite Castro; Barbosa, L. S.; Hennicker, Rolf, et al. | Artigo em ata de conferência | Acesso aberto |
2018 | A logic for the stepwise development of reactive systems | Madeira, Alexandre Leite Castro; Barbosa, Luís S.; Hennicker, Rolf, et al. | Artigo | Acesso aberto |
2015 | Refinement in hybridised institutions | Madeira, Alexandre Leite Castro; Martins, Manuel A.; Barbosa, L. S., et al. | Artigo | Acesso aberto |