A Method for Verifying the Consistency of Business Rules Using Alloy
Prisila M V LIMA
Antonio Juarez Sylvio Menezes de Alencar
Eber Assis Schmitz
Alexandre Luis Correa