Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos.

Carlos Daniel Luna
Published in: Computación y Sistemas (2004)