| emsoft | participants

Shengchao Qin

EMSOFT 2013: 13th International Conference on Embedded Software

Verifying Simulink Diagrams via a Hybrid Hoare Logic Prover

Liang Zou, Naijun Zhan, Shuling Wang, Martin Fränzle, and Shengchao Qin