Denilson Guimaraes

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Top Venues

Publications

Denilson Guimaraes, Eber A. Schmitz, Antonio Juarez Alencar, Priscila Lima, Alexandre L. Correa
A Method for Verifying the Consistency of Business Rules Using Alloy. SEKE (2014)