Diseño y análisis formal de sistemas de software
FADOSS
University of Oslo
Oslo, NoruegaPublications in collaboration with researchers from 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