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

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

Browse the full SEKE paper archive.