TY  - GEN
AU  - Zhan, Naijun,
AU  - Wang, Shuling,
AU  - Zhao, Hengjun,
CN  - QA76.76.V47
ID  - 777820
KW  - Computer software
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-47016-0
SN  - 9783319470160
SN  - 3319470167
T1  - Formal verification of Simulink/Stateflow diagrams :a deductive approach /
TI  - Formal verification of Simulink/Stateflow diagrams :a deductive approach /
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-47016-0
ER  -