Projecte d'investigació
22B
LOGICAS DE ESPECIFICACION TEMPORALES Y MODALES PARA LA LOGICA DE REESCRITURA.
date_range
Duració del 07 de de maig de 1997 al 07 de de maig de 1997
(1 mes)