Publicaciones en las que colabora con Christiano de Oliveira Braga (4)

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)

  2. Preface

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

2007

  1. Modular Structural Operational Semantics with Strategies

    Electronic Notes in Theoretical Computer Science, Vol. 175, Núm. 1, pp. 3-17