Un sistema de verificación para lenguajes de programación tipo funcional

  1. Gil Luezas, Ana
Libro:
XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987

Editorial: Universidade do Minho

Año de publicación: 1987

Volumen: 3

Páginas: 364-369

Congreso: Jornadas Luso-Espanholas de Matemática (12. 1987. Braga)

Tipo: Aportación congreso

DIALNET GOOGLE SCHOLAR
Fuente de los datos: Dialnet