Objectivos
Mestrado Bolonha em Matemática e Aplicações e Computação
Mestrado Bolonha em Engenharia Informática e de Computadores - Alameda
Aplicar lógica na verificação de sistemas de hardware e de software.
Aplicar lógica na verificação de sistemas de hardware e de software.