TY  - RPRT
TI  - Automated Validation of Insurance Applications against Calculation Specifications
AU  - Advaita Datar
AU  - Amey Zare
AU  - Asia A
AU  - R Venkatesh
AU  - Shrawan Kumar
AU  - Ulka Shrotri
PY  - 2022
UR  - https://arxiv.org/abs/2209.03558
ID  - 2209.03558
ER  -