TY  - RPRT
TI  - Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans
AU  - Phillip James
AU  - Markus Roggenbach
PY  - 2014
UR  - https://arxiv.org/abs/1403.3034
ID  - 1403.3034
ER  -