Export

BIB

All authors

Bai Xue and Martin Fränzle and Hengjun Zhao and Naijun Zhan and Arvind Easwaran

Booktitle

Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings

Publishing date

2019

Type of Publication

inproceedings

Publisher

Springer

Series

Lecture Notes in Computer Science

Pages

236-252

Doi

10.1007/978-3-030-32409-4