A higher-order logical framework for the algorithmic debugging and verification of declarative programs
Actas:
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
ISBN: 9781605585680
Año de publicación: 2009
Páginas: 49-60
Tipo: Aportación congreso