Jie Liu 0013, Jing Liu 0012, Miaomiao Zhang, Haiying Sun, Xiaohong Chen 0001, Dehui Du, Mingsong Chen. A proof-based method of hybrid systems development using differential invariants. Frontiers of Computer Science in China, 12(5):1026-1028, 2018. [doi]
Abstract is missing.