Can Algebraic Geometry Rescue Program Verification? 15 de maio de 2007

Visto 627 veces

Can Algebraic Geometry Rescue Program Verification?

Relator/a: Deepak Kapur
Department of Computer Science, University of New Mexico Albuquerque, NM USA

Vídeos da mesma serie