Solino,, Miguel André da Silva Formal models based interactive prototypes [Documento eletrónico] = [Modelos formais baseados em protótipos interactivos] / Miguel André da Silva Solino ; orient. José Creissac Campos

Formal models based interactive prototypes [Documento eletrónico] = [Modelos formais baseados em protótipos interactivos] / Miguel André da Silva Solino ; orient. José Creissac Campos . - [Braga : s.n.], 2022 . -

681.3