Defesa de Dissertação de Mestrado - 04/07/2014

Convite de Defesa de Mestrado da discente Ariane Alves Almeida defenderá sua dissertação de Mestrado, orientada pelo Prof. Maurício Ayala-Rincon. O título da dissertação é Verificação de Implementações em Hardware por Meio de Provas de Correção de suas Definições Recursivas.

 

A aluna Ariane Alves Almeida defenderá sua dissertação de Mestrado, orientada pelo Prof. Maurício Ayala-Rincon, no dia 04/07/2014 as 08:30 na sala Multiuso do CIC. O título da dissertação é Verificação de Implementações em Hardware por Meio de Provas de Correção de suas Definições Recursivas. Contamos com a presença de todos!