Diseño y análisis formal de sistemas de software
FADOSS
University of Oslo
Oslo, NoruegaPublicaciones en colaboración con investigadores/as 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