Can Algebraic Geometry Rescue Program Verification?

Sala de Juntas del Departamento de Matemática Aplicada I, Escuela Técnica Superior de Ingeniería de Telecomunicación - Campus de Vigo (Lagoas, Marcosende)

59' 05''

Can Algebraic Geometry Rescue Program Verification?

15 may. 2007
Deepak Kapur
Department of Computer Science, University of New Mexico Albuquerque, NM USA