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)

Can Algebraic Geometry Rescue Program Verification?

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