Denilson Guimaraes

According to our database, Denilson Guimaraes authored at least 1 paper in 2014.

Collaborative distances:

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

2014

A Method for Verifying the Consistency of Business Rules Using Alloy.

Denilson Guimaraes, Eber A. Schmitz, Antonio Juarez Alencar, Priscila Lima, Alexandre L. Correa

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014