–
Sala P3.10, Pavilhão de Matemática
Francisco Farinha Malaca, LMAC, Instituto Superior Técnico
Técnicas para provar a terminação de programas
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