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