Denilson Guimaraes, Eber A. Schmitz, Antonio Juarez Alencar, Priscila Lima, Alexandre L. Correa. A Method for Verifying the Consistency of Business Rules Using Alloy. In Marek Reformat, editor, The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013. pages 381-386, Knowledge Systems Institute Graduate School, 2014.
@inproceedings{GuimaraesSALC14,
title = {A Method for Verifying the Consistency of Business Rules Using Alloy},
author = {Denilson Guimaraes and Eber A. Schmitz and Antonio Juarez Alencar and Priscila Lima and Alexandre L. Correa},
year = {2014},
researchr = {https://researchr.org/publication/GuimaraesSALC14},
cites = {0},
citedby = {0},
pages = {381-386},
booktitle = {The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013},
editor = {Marek Reformat},
publisher = {Knowledge Systems Institute Graduate School},
}