M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ...

All About Maude-A High-Performance Logical Framework, 667-693, 2007

J Meseguer, C Braga

International Conference on Algebraic Methodology and Software Technology …, 2004

C Braga

PhD thesis, Departamento de Informática, Pontificia Universidade Católica de …, 2001

M Clavel, V da Silva, C Braga, M Egea

European Conference on Model Driven Architecture-Foundations and …, 2008

F Chalub, C Braga

Electronic Notes in Theoretical Computer Science 176 (4), 133-146, 2007

K da Silva Figueiredo, VT da Silva, C de Oliveira Braga

International Workshop on Coordination, Organizations, Institutions, and …, 2010

C Braga, J Meseguer

Electronic Notes in Theoretical Computer Science 117, 393-416, 2005

C Braga, E Haeusler, J Meseguer, P Mosses

Algebraic Methodology and Software Technology, 407-421, 2000

A Rademaker, C Braga, A Sztajnberg

Electronic Notes in Theoretical Computer Science 130, 345-377, 2005

C Braga, EH Hæusler, J Meseguer, PD Mosses

Proceedings of 12th LOPSTR 2664, 262-277, 2003

F Chalub, C Braga

Master’s thesis, Universidade Federal Fluminense, 2005

C Braga, A Sztajnberg

Electronic Notes in Theoretical Computer Science 95, 149-168, 2004

M Fontoura, C Braga, L Moura, C Lucena

IEE Proceedings-Software 147 (4), 109-116, 2000

F Chalub, C Braga

J. Univers. Comput. Sci. 10 (7), 789-807, 2004

BF dos Santos Neto, M Ribeiro, VT Da Silva, C Braga, CJP De Lucena, ...

Expert Systems with Applications 42 (3), 1652-1664, 2015

BF dos Santos Neto, M Ribeiro, VT da Silva, C Braga, CJP de Lucena, ...

Expert Systems with Applications 42 (3), 1652-1664, 2015

C Braga, F Chalub, A Sztajnberg

Electronic Notes in Theoretical Computer Science 203 (7), 103-120, 2009

C Braga

Software & Systems Modeling 10 (3), 395-409, 2011

C Braga, A Verdejo

Electronic Notes in Theoretical Computer Science 175 (1), 3-17, 2007

C Braga, R Menezes, T Comicio, C Santos, E Landim

Formal Methods, Foundations and Applications, 108-123, 2011