Roberto Menezes

According to our database, Roberto Menezes authored at least 2 papers between 2011 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

Transformation contracts in practice.

Christiano de Oliveira Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim

IET Softw., 2012

2011

On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts.

Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011