Publicaciones en colaboración con investigadores/as de Universidade Federal Fluminense (2)

2016

  1. Preface to SCP special issue with extended selected papers from SBMF 2014

    Science of Computer Programming

2015

  1. Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014 Maceió, AL, Brazil, September 29 - October 1, 2014 Proceedings

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)