Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Kritika Anand
conf.researchr.org general profile
ASE 2019 profile
POPL 2018 profile
Registered user since Mon 30 Oct 2017
Name:
Kritika Anand
Contributions
2019
ASE
Author of BuRRiTo: A Framework to Extract, Specify, Verify and Analyze Business Rules within the Demonstrations-track
2018
Symposium on Practical Aspects of Declarative Languages
Author of An Automated Detection of Inconsistencies in SBVR-based Business Rules using Many-sorted Logic within the PADL 2018-track
Share
x
Sat 21 Dec 18:54