Can Algebraic Geometry Rescue Program Verification?

Sala de Xuntas do Departamento de Matemática Aplicada I, Escola Técnica Superior de Enxeñería de Telecomunicación - Campus de Vigo (Lagoas, Marcosende)

59' 05''

Can Algebraic Geometry Rescue Program Verification?

15 de maio de 2007
Deepak Kapur
Department of Computer Science, University of New Mexico Albuquerque, NM USA