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.
Date
2009-08-24xmlui.dri2xhtml.METS-1.0.item-type
Resolución
Consejo Directivo
xmlui.dri2xhtml.METS-1.0.item-repartition
Facultad de Matemáticas, Astronomía, Física y Computación
xmlui.dri2xhtml.METS-1.0.item-num
231