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 de maio de 2007
Ponente: Deepak Kapur
Department of Computer Science, University of New Mexico Albuquerque, NM USA