TY  - RPRT
TI  - Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
AU  - Atif Mashkoor
AU  - Michael Leuschel
AU  - Alexander Egyed
PY  - 2021
UR  - https://arxiv.org/abs/2102.06037
ID  - 2102.06037
ER  -