Cite
HARVARD Citation
Zhan, N. et al. (2017) Formal Verification of Simulink/Stateflow Diagrams : A Deductive Approach. [Online]. Cham : Springer International Publishing Imprint: Springer. Available from: http://access.bl.uk/ark:/81055/vdc_100070086258.0x000001