TY  - RPRT
TI  - "SHORT"er Reasoning About Larger Requirements Models
AU  - George Mathew
AU  - Tim Menzies
AU  - Neil A. Ernst
AU  - John Klein
PY  - 2017
UR  - https://arxiv.org/abs/1702.05568
ID  - 1702.05568
ER  -