Objectivos

Mestrado Bolonha em Matemática e Aplicações

Aplicar lógica na verificação de sistemas de hardware e de software.