Apresentam-se três técnicas de prova de terminação de programas. Além disso, mostram-se implementações das mesmas.

Orientador: Carlos Caleiro