Diseño y análisis formal de sistemas de software
FADOSS
Universidade Do Porto
Oporto, PortugalPublicaciones en colaboración con investigadores/as de Universidade Do Porto (1)
2009
-
PPDP09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming: Foreword
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming