Salvador V. Cavadini
Thesis Info
'Utilización del Slicing de Programas en la Validación y Modificación de Las Propiedades De Un Programa' 
Home Institution
Universidad Católica de Santiago del Estero 
Roberto Uzal 
Roberto Uzal 
Host Institution
Institut National de la Recherche en Informatique et Automatique (INRIA) 
Gilles Barthe 
Gilles Barthe