Diseño y análisis formal de sistemas de software
FADOSS
Heriot-Watt University
Edimburgo, Reino UnidoHeriot-Watt University-ko ikertzaileekin lankidetzan egindako argitalpenak (3)
2015
-
Editorial of Special Issue Trends in Functional Programming 2011/12
Computer Languages, Systems and Structures
2013
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003
-
Comparing Parallel Functional Languages: Programming and Performance
Higher-Order and Symbolic Computation, Vol. 16, Núm. 3, pp. 203-251