Luna, C. D.

• Vol. 8, No. 1 (2004) - Articles
  Especificación y Análisis de Sistemas de Tiempo Real en Teoría de Tipos
  Details  PDF (Spanish)