Biblioteca da Universidade do Minho

Your cart is empty.
Tojal,, Joaquim José e Silva de Carvalho Towards a formally verified microkernel using the VCC verifier [Documento eletrónico] / Joaquim José e Silva de Carvalho Tojal ; orient. Simão Melo de Sousa, José Miguel Faria

Towards a formally verified microkernel using the VCC verifier [Documento eletrónico] / Joaquim José e Silva de Carvalho Tojal ; orient. Simão Melo de Sousa, José Miguel Faria . - Covilhã : [s.n.], 2010 . - 1 disco ótico (CD-ROM) : il. em caixa 13x14x1 cm . - Título retirado do ecrã de título . -

681.3