Métodos formales en computación e I.A. (2002-03)

Este curso es una introducción a la demostración asistida por ordenador con PVS.