Eiras,, Mário André Barbosa
Formalizing Alloy with a shallow embedding to Isabelle - HOL [Documento eletrónico] / Mário André Barbosa Eiras ; orient. Manuel Alcino Cunha
Formalizing Alloy with a shallow embedding to Isabelle - HOL [Documento eletrónico] / Mário André Barbosa Eiras ; orient. Manuel Alcino Cunha
. - Braga : [s.n.], 2013
. -
681.3.062