TY  - RPRT
TI  - Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification
AU  - Radoslaw Klimek
PY  - 2014
UR  - https://arxiv.org/abs/1402.1985
ID  - 1402.1985
ER  -