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