TY  - RPRT
TI  - Semi-Automated Design Space Exploration for Formal Modelling
AU  - Gudmund Grov
AU  - Andrew Ireland
AU  - Maria Teresa Llano
AU  - Peter Kovacs
AU  - Simon Colton
AU  - Jeremy Gow
PY  - 2016
UR  - https://arxiv.org/abs/1603.00636
ID  - 1603.00636
ER  -