Diseño y análisis formal de sistemas de software
FADOSS
Universidade Do Porto
Oporto, PortugalUniversidade Do Porto-ko ikertzaileekin lankidetzan egindako argitalpenak (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