El debate acerca de la verificación formal de los programas

Main Authors: Blanco, Javier, García, Pío
Format: Documento de conferencia
Language: Castellano
Published: Penélope Lodeyro 2009-10
Diego Letzen
Subjects:
Online Access: http://hdl.handle.net/11086/3429