Verificação de Software

Essa palestra apresenta a importância da verificação de software e alguns problemas em aberto na área. Palestra para alunos do primeiro período do curso de ciência da computação da UFOP.

Slides