An Automated Detection of Inconsistencies in SBVR-based Business Rules Using Many-sorted Logic
Crossref DOI link: https://doi.org/10.1007/978-3-319-73305-0_6
Published Online: 2017-12-22
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Anand, Kritika http://orcid.org/0000-0001-6131-6015
Chittimalli, Pavan Kumar http://orcid.org/0000-0002-3639-6639
Naik, Ravindra http://orcid.org/0000-0003-0983-9403
License valid from 2017-12-22