Un sistema de verificación para lenguajes de programación tipo funcional
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