Cite
HARVARD Citation
Seiter, J. et al. (2016) Automatic methods for the refinement of system models : from the specification to the implementation. [Online]. Switzerland : Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100071523584.0x000001