Biblioteca da Universidade do Minho

Your cart is empty.
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