TY  - RPRT
TI  - Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models
AU  - Radoslaw Klimek
PY  - 2014
UR  - https://arxiv.org/abs/1406.7000
ID  - 1406.7000
ER  -