Diseño y análisis formal de sistemas de software
FADOSS
University of Oslo
Oslo, NoruegaPublicacions en col·laboració amb investigadors/es de University of Oslo (3)
2015
-
Josè Meseguer: Scientist and friend extraordinaire
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)
2012
-
Preface
Journal of Logic and Algebraic Programming