Métodos formales en computación e I.A (2001-02)

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