Resolución 231/2009

Abstract

Hacer lugar a lo solicitado por el Sr. Lucas Agustín Rearte (Legajo Nº: 200413390) y en consecuencia, autorizar la realización del Trabajo Especial "Verificación formal de programas con uso de memoria dinámica mediante la Separation Logic y la Sharing Logic", bajo la Dirección conjunta del Doctor Javier Oscar Blanco y del Licenciado Renato Cherini, en los términos del art. 4º - b1) de la Resolución HCD Nº 171/90 y el art. 1º de su modificatoria, Resolución HCD Nº 101/95.