TY  - RPRT
TI  - An Interactive Empirical Approach to the Validation of Software Package Specifications
AU  - S. D. Fraser
AU  - P. P. Silvester
PY  - 2024
UR  - https://arxiv.org/abs/2401.17596
ID  - 2401.17596
ER  -