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

Fil: Blanco, Javier. Universidad Nacional de Córdoba; Argentina.

Bibliographic Details
Main Authors: Blanco, Javier, García, Pío
Format: conferenceObject
Language:spa
Published: Universidad Nacional de Córdoba 2016
Subjects:
Online Access:http://hdl.handle.net/11086/3429